safe tinyos annotations

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

diff --git a/tos/chips/atm128/Atm128UartP.nc b/tos/chips/atm128/Atm128UartP.nc
index 2b904b41422bd371b1efd2dce1788b0343888387..527e264e48e01eb465d14bec459e4ed801da0aaa 100644 (file)
--- a/tos/chips/atm128/Atm128UartP.nc
+++ b/tos/chips/atm128/Atm128UartP.nc
@@ -59,8 +59,8 @@ generic module Atm128UartP(){
 
 implementation{
   
-  norace uint8_t *m_tx_buf, *m_rx_buf;
   norace uint16_t m_tx_len, m_rx_len;
+  norace uint8_t *COUNT_NOK(m_tx_len) m_tx_buf, * COUNT_NOK(m_rx_len) m_rx_buf;
   norace uint16_t m_tx_pos, m_rx_pos;
   norace uint16_t m_byte_time;
   norace uint8_t m_rx_intr;
@@ -159,8 +159,8 @@ implementation{
     else if ( m_tx_buf )
       return EBUSY;
     
-    m_tx_buf = buf;
     m_tx_len = len;
+    m_tx_buf = buf;
     m_tx_pos = 0;
     m_tx_intr = 1;
     call HplUart.enableTxIntr();