X-Git-Url: https://oss.titaniummirror.com/gitweb/?a=blobdiff_plain;f=tos%2Fchips%2Fmsp430%2Ftimer%2FMsp430TimerCapComP.nc;h=04707adf3d207c471666781be0a7897ad222579e;hb=1c913dbdea59be00cec861e37b5f44a02772d12a;hp=71511600cd95c06301d994491af2c681aea16446;hpb=2bcee2decfbf21414a28b4f219a7d86fb2f027d5;p=tinyos-2.x.git

diff --git a/tos/chips/msp430/timer/Msp430TimerCapComP.nc b/tos/chips/msp430/timer/Msp430TimerCapComP.nc
index 71511600..04707adf 100644
--- 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;