X-Git-Url: https://oss.titaniummirror.com/gitweb/?a=blobdiff_plain;f=tos%2Fchips%2Fmsp430%2Ftimer%2FMsp430TimerP.nc;h=0a40de8052420dff1e8c63a0ad493d11a9bdae43;hb=695dd83589319d40275851183f4dd175fa77b95e;hp=fdf1b632e7789d98af2d62dff8ea398f6aa9ece3;hpb=8b7ec13f5b83aab6cde4d0187ba97b0d3f5bc944;p=tinyos-2.x.git

diff --git a/tos/chips/msp430/timer/Msp430TimerP.nc b/tos/chips/msp430/timer/Msp430TimerP.nc
index fdf1b632..0a40de80 100644
--- a/tos/chips/msp430/timer/Msp430TimerP.nc
+++ b/tos/chips/msp430/timer/Msp430TimerP.nc
@@ -44,9 +44,9 @@ generic module Msp430TimerP(
 }
 implementation
 {
-  #define TxIV (*TCAST(volatile TYPE_TAIV* SINGLE NONNULL, TxIV_addr))
-  #define TxR (*TCAST(volatile TYPE_TAR* SINGLE NONNULL, TxR_addr))
-  #define TxCTL (*TCAST(volatile TYPE_TACTL* SINGLE NONNULL, TxCTL_addr))
+  #define TxIV (*TCAST(volatile TYPE_TAIV* ONE, TxIV_addr))
+  #define TxR (*TCAST(volatile TYPE_TAR* ONE, TxR_addr))
+  #define TxCTL (*TCAST(volatile TYPE_TACTL* ONE, TxCTL_addr))
 
   async command uint16_t Timer.get()
   {