turn on safe compilation for some modules

[tinyos-2.x.git] / tos / chips / atm128 / pins / HplAtm128GeneralIOSlowPinP.nc

diff --git a/tos/chips/atm128/pins/HplAtm128GeneralIOSlowPinP.nc b/tos/chips/atm128/pins/HplAtm128GeneralIOSlowPinP.nc
index 692f17c77311887af6bafecb28c747899d9fb0c7..a6168ff144942bbcc5c6ee0e3bd19f4675ed5854 100644 (file)
--- a/tos/chips/atm128/pins/HplAtm128GeneralIOSlowPinP.nc
+++ b/tos/chips/atm128/pins/HplAtm128GeneralIOSlowPinP.nc
@@ -33,15 +33,15 @@
 generic module HplAtm128GeneralIOSlowPinP (uint8_t port_addr, 
                                     uint8_t ddr_addr, 
                                     uint8_t pin_addr,
-                                    uint8_t bit)
+                                    uint8_t bit) @safe()
 {
   provides interface GeneralIO as IO;
 }
 implementation
 {
-#define pin (*TCAST(volatile uint8_t * SINGLE NONNULL, pin_addr))
-#define port (*TCAST(volatile uint8_t * SINGLE NONNULL, port_addr))
-#define ddr (*TCAST(volatile uint8_t * SINGLE NONNULL, ddr_addr))
+#define pin (*TCAST(volatile uint8_t * ONE, pin_addr))
+#define port (*TCAST(volatile uint8_t * ONE, port_addr))
+#define ddr (*TCAST(volatile uint8_t * ONE, ddr_addr))
 
   inline async command bool IO.get()        { return READ_BIT (pin, bit); }
   inline async command void IO.set()        { atomic SET_BIT  (port, bit); }