turn on safe compilation for some modules

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

diff --git a/tos/chips/atm128/pins/HplAtm128GeneralIOPinP.nc b/tos/chips/atm128/pins/HplAtm128GeneralIOPinP.nc
index e8bc4668610cdb829d9a128ab76f91485e407efc..f21f061fb65a966425b2fd11f16cd2c576f2666a 100644 (file)
--- a/tos/chips/atm128/pins/HplAtm128GeneralIOPinP.nc
+++ b/tos/chips/atm128/pins/HplAtm128GeneralIOPinP.nc
@@ -32,15 +32,15 @@
 generic module HplAtm128GeneralIOPinP (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()        { SET_BIT  (port, bit); }