trusted casts for safe tinyos on MSP430 register accesses

[tinyos-2.x.git] / tos / chips / msp430 / timer / Msp430TimerCapComP.nc

diff --git a/tos/chips/msp430/timer/Msp430TimerCapComP.nc b/tos/chips/msp430/timer/Msp430TimerCapComP.nc
index 71511600cd95c06301d994491af2c681aea16446..04707adf3d207c471666781be0a7897ad222579e 100644 (file)
--- a/tos/chips/msp430/timer/Msp430TimerCapComP.nc
+++ b/tos/chips/msp430/timer/Msp430TimerCapComP.nc
@@ -38,8 +38,8 @@ generic module Msp430TimerCapComP(
 }
 implementation
 {
-  #define TxCCTLx (*(volatile TYPE_TACCTL0*)TxCCTLx_addr)
-  #define TxCCRx (*(volatile TYPE_TACCR0*)TxCCRx_addr)
+  #define TxCCTLx (*TCAST(volatile TYPE_TACCTL0* SINGLE NONNULL, TxCCTLx_addr))
+  #define TxCCRx (*TCAST(volatile TYPE_TACCR0* SINGLE NONNULL, TxCCRx_addr))
 
   typedef msp430_compare_control_t cc_t;