app.c

This is a helpful document for tinyos learners

#line 79
bool TOSBaseM$radioCount;


static  void TOSBaseM$UARTSendTask(void);
static  void TOSBaseM$RadioSendTask(void);

static inline void TOSBaseM$failBlink(void);
static inline void TOSBaseM$dropBlink(void);
static void TOSBaseM$processUartPacket(TOS_MsgPtr Msg, bool wantsAck, uint8_t Token);

static inline  result_t TOSBaseM$StdControl$init(void);
#line 107
static inline  result_t TOSBaseM$StdControl$start(void);
#line 134
static inline  TOS_MsgPtr TOSBaseM$RadioReceive$receive(TOS_MsgPtr Msg);
#line 221
static  void TOSBaseM$UARTSendTask(void);
#line 239
static inline  result_t TOSBaseM$UARTSend$sendDone(TOS_MsgPtr msg, result_t success);
#line 253
static inline  TOS_MsgPtr TOSBaseM$UARTReceive$receive(TOS_MsgPtr Msg);




static inline  TOS_MsgPtr TOSBaseM$UARTTokenReceive$receive(TOS_MsgPtr Msg, uint8_t Token);




static void TOSBaseM$processUartPacket(TOS_MsgPtr Msg, bool wantsAck, uint8_t Token);
#line 291
static  void TOSBaseM$RadioSendTask(void);
#line 312
static  result_t TOSBaseM$RadioSend$sendDone(TOS_MsgPtr msg, result_t success);
#line 325
static inline void TOSBaseM$dropBlink(void);





static inline void TOSBaseM$failBlink(void);
# 70 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/SplitControl.nc"
static  result_t CC2420RadioM$SplitControl$initDone(void);
#line 85
static  result_t CC2420RadioM$SplitControl$startDone(void);
# 59 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/HPLCC2420Interrupt.nc"
static   result_t CC2420RadioM$FIFOP$disable(void);
#line 43
static   result_t CC2420RadioM$FIFOP$startWait(bool arg_0x11abf20);
# 6 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/TimerJiffyAsync.nc"
static   result_t CC2420RadioM$BackoffTimerJiffy$setOneShot(uint32_t arg_0x11bc5d0);



static   bool CC2420RadioM$BackoffTimerJiffy$isSet(void);
#line 8
static   result_t CC2420RadioM$BackoffTimerJiffy$stop(void);
# 67 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/BareSendMsg.nc"
static  result_t CC2420RadioM$Send$sendDone(TOS_MsgPtr arg_0x1123818, result_t arg_0x11239a8);
# 63 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/Random.nc"
static   uint16_t CC2420RadioM$Random$rand(void);
#line 57
static   result_t CC2420RadioM$Random$init(void);
# 63 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/StdControl.nc"
static  result_t CC2420RadioM$TimerControl$init(void);






static  result_t CC2420RadioM$TimerControl$start(void);
# 75 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/ReceiveMsg.nc"
static  TOS_MsgPtr CC2420RadioM$Receive$receive(TOS_MsgPtr arg_0x1135170);
# 61 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/HPLCC2420.nc"
static   uint16_t CC2420RadioM$HPLChipcon$read(uint8_t arg_0x11ac408);
#line 47
static   uint8_t CC2420RadioM$HPLChipcon$cmd(uint8_t arg_0x11ad800);
# 33 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/RadioCoordinator.nc"
static   void CC2420RadioM$RadioReceiveCoordinator$startSymbol(uint8_t arg_0x1194498, uint8_t arg_0x1194620, TOS_MsgPtr arg_0x11947b0);
# 60 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/HPLCC2420Capture.nc"
static   result_t CC2420RadioM$SFD$disable(void);
#line 43
static   result_t CC2420RadioM$SFD$enableCapture(bool arg_0x11b6ef8);
# 33 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/RadioCoordinator.nc"
static   void CC2420RadioM$RadioSendCoordinator$startSymbol(uint8_t arg_0x1194498, uint8_t arg_0x1194620, TOS_MsgPtr arg_0x11947b0);
# 29 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/HPLCC2420FIFO.nc"
static   result_t CC2420RadioM$HPLChipconFIFO$writeTXFIFO(uint8_t arg_0x11a9538, uint8_t *arg_0x11a96e0);
#line 19
static   result_t CC2420RadioM$HPLChipconFIFO$readRXFIFO(uint8_t arg_0x11a0c00, uint8_t *arg_0x11a0da8);
# 163 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/CC2420Control.nc"
static   result_t CC2420RadioM$CC2420Control$RxMode(void);
# 74 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/MacBackoff.nc"
static   int16_t CC2420RadioM$MacBackoff$initialBackoff(TOS_MsgPtr arg_0x1187a38);
static   int16_t CC2420RadioM$MacBackoff$congestionBackoff(TOS_MsgPtr arg_0x1187ef8);
# 64 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/SplitControl.nc"
static  result_t CC2420RadioM$CC2420SplitControl$init(void);
#line 77
static  result_t CC2420RadioM$CC2420SplitControl$start(void);
# 76 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/CC2420RadioM.nc"
enum CC2420RadioM$__nesc_unnamed4268 {
  CC2420RadioM$DISABLED_STATE = 0, 
  CC2420RadioM$DISABLED_STATE_STARTTASK, 
  CC2420RadioM$IDLE_STATE, 
  CC2420RadioM$TX_STATE, 
  CC2420RadioM$TX_WAIT, 
  CC2420RadioM$PRE_TX_STATE, 
  CC2420RadioM$POST_TX_STATE, 
  CC2420RadioM$POST_TX_ACK_STATE, 
  CC2420RadioM$RX_STATE, 
  CC2420RadioM$POWER_DOWN_STATE, 
  CC2420RadioM$WARMUP_STATE, 

  CC2420RadioM$TIMER_INITIAL = 0, 
  CC2420RadioM$TIMER_BACKOFF, 
  CC2420RadioM$TIMER_ACK
};



 uint8_t CC2420RadioM$countRetry;
uint8_t CC2420RadioM$stateRadio;
 uint8_t CC2420RadioM$stateTimer;
 uint8_t CC2420RadioM$currentDSN;
 bool CC2420RadioM$bAckEnable;
bool CC2420RadioM$bPacketReceiving;
uint8_t CC2420RadioM$txlength;
 TOS_MsgPtr CC2420RadioM$txbufptr;
 TOS_MsgPtr CC2420RadioM$rxbufptr;
TOS_Msg CC2420RadioM$RxBuf;

volatile uint16_t CC2420RadioM$LocalAddr;





static void CC2420RadioM$sendFailed(void);





static void CC2420RadioM$flushRXFIFO(void);








static __inline result_t CC2420RadioM$setInitialTimer(uint16_t jiffy);







static __inline result_t CC2420RadioM$setBackoffTimer(uint16_t jiffy);







static __inline result_t CC2420RadioM$setAckTimer(uint16_t jiffy);








static inline  void CC2420RadioM$PacketRcvd(void);
#line 168
static  void CC2420RadioM$PacketSent(void);
#line 186
static inline  result_t CC2420RadioM$StdControl$init(void);




static inline  result_t CC2420RadioM$SplitControl$init(void);
#line 208
static inline  result_t CC2420RadioM$CC2420SplitControl$initDone(void);



static inline   result_t CC2420RadioM$SplitControl$default$initDone(void);
#line 239
static inline  void CC2420RadioM$startRadio(void);
#line 253
static inline  result_t CC2420RadioM$StdControl$start(void);
#line 277
static inline  result_t CC2420RadioM$SplitControl$start(void);
#line 294
static inline  result_t CC2420RadioM$CC2420SplitControl$startDone(void);
#line 312
static inline   result_t CC2420RadioM$SplitControl$default$startDone(void);








static inline void CC2420RadioM$sendPacket(void);
#line 344
static inline   result_t CC2420RadioM$SFD$captured(uint16_t time);
#line 393
static  void CC2420RadioM$startSend(void);
#line 410
static void CC2420RadioM$tryToSend(void);
#line 449
static inline   result_t CC2420RadioM$BackoffTimerJiffy$fired(void);
#line 491
static inline  result_t CC2420RadioM$Send$send(TOS_MsgPtr pMsg);
#line 534
static void CC2420RadioM$delayedRXFIFO(void);

static inline  void CC2420RadioM$delayedRXFIFOtask(void);



static void CC2420RadioM$delayedRXFIFO(void);
#line 591
static inline   result_t CC2420RadioM$FIFOP$fired(void);
#line 628
static inline   result_t CC2420RadioM$HPLChipconFIFO$RXFIFODone(uint8_t length, uint8_t *data);
#line 721
static inline   result_t CC2420RadioM$HPLChipconFIFO$TXFIFODone(uint8_t length, uint8_t *data);
#line 744
static inline    int16_t CC2420RadioM$MacBackoff$default$initialBackoff(TOS_MsgPtr m);






static inline    int16_t CC2420RadioM$MacBackoff$default$congestionBackoff(TOS_MsgPtr m);







static inline    void CC2420RadioM$RadioSendCoordinator$default$startSymbol(uint8_t bitsPerBlock, uint8_t offset, TOS_MsgPtr msgBuff);

static inline    void CC2420RadioM$RadioReceiveCoordinator$default$startSymbol(uint8_t bitsPerBlock, uint8_t offset, TOS_MsgPtr msgBuff);
# 70 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/SplitControl.nc"
static  result_t CC2420ControlM$SplitControl$initDone(void);
#line 85
static  result_t CC2420ControlM$SplitControl$startDone(void);
# 61 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/HPLCC2420.nc"
static   uint16_t CC2420ControlM$HPLChipcon$read(uint8_t arg_0x11ac408);
#line 54
static   uint8_t CC2420ControlM$HPLChipcon$write(uint8_t arg_0x11add10, uint16_t arg_0x11adea0);
#line 47
static   uint8_t CC2420ControlM$HPLChipcon$cmd(uint8_t arg_0x11ad800);
# 43 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/HPLCC2420Interrupt.nc"
static   result_t CC2420ControlM$CCA$startWait(bool arg_0x11abf20);
# 63 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/StdControl.nc"
static  result_t CC2420ControlM$HPLChipconControl$init(void);






static  result_t CC2420ControlM$HPLChipconControl$start(void);
# 47 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/HPLCC2420RAM.nc"
static   result_t CC2420ControlM$HPLChipconRAM$write(uint16_t arg_0x1217090, uint8_t arg_0x1217218, uint8_t *arg_0x12173c0);
# 63 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/CC2420ControlM.nc"
enum CC2420ControlM$__nesc_unnamed4269 {
  CC2420ControlM$IDLE_STATE = 0, 
  CC2420ControlM$INIT_STATE, 
  CC2420ControlM$INIT_STATE_DONE, 
  CC2420ControlM$START_STATE, 
  CC2420ControlM$START_STATE_DONE, 
  CC2420ControlM$STOP_STATE
};

uint8_t CC2420ControlM$state = 0;
 uint16_t CC2420ControlM$gCurrentParameters[14];






static inline bool CC2420ControlM$SetRegs(void);
#line 108
static inline  void CC2420ControlM$taskInitDone(void);







static inline  void CC2420ControlM$PostOscillatorOn(void);
#line 129
static inline  result_t CC2420ControlM$SplitControl$init(void);
#line 227
static inline  result_t CC2420ControlM$SplitControl$start(void);
#line 286
static inline  result_t CC2420ControlM$CC2420Control$TuneManual(uint16_t DesiredFreq);
#line 343
static inline   result_t CC2420ControlM$CC2420Control$RxMode(void);
#line 368
static inline   result_t CC2420ControlM$CC2420Control$OscillatorOn(void);
#line 400
static inline   result_t CC2420ControlM$CC2420Control$VREFOn(void);
#line 432
static inline  result_t CC2420ControlM$CC2420Control$setShortAddress(uint16_t addr);








static inline   result_t CC2420ControlM$HPLChipconRAM$writeDone(uint16_t addr, uint8_t length, uint8_t *buffer);



static inline   result_t CC2420ControlM$CCA$fired(void);
# 63 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/StdControl.nc"
static  result_t HPLCC2420M$TimerControl$init(void);
# 49 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/HPLCC2420RAM.nc"
static   result_t HPLCC2420M$HPLCC2420RAM$writeDone(uint16_t arg_0x12178f8, uint8_t arg_0x1217a80, uint8_t *arg_0x1217c28);
# 55 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/micaz/HPLCC2420M.nc"
 bool HPLCC2420M$bSpiAvail;
 uint8_t *HPLCC2420M$rambuf;
 uint8_t HPLCC2420M$ramlen;
 uint16_t HPLCC2420M$ramaddr;






static inline  result_t HPLCC2420M$StdControl$init(void);
#line 95
static inline  result_t HPLCC2420M$StdControl$start(void);







static   uint8_t HPLCC2420M$HPLCC2420$cmd(uint8_t addr);
#line 128
static   result_t HPLCC2420M$HPLCC2420$write(uint8_t addr, uint16_t data);
#line 159
static   uint16_t HPLCC2420M$HPLCC2420$read(uint8_t addr);
#line 197
static inline  void HPLCC2420M$signalRAMWr(void);










static inline   result_t HPLCC2420M$HPLCC2420RAM$write(uint16_t addr, uint8_t length, uint8_t *buffer);
# 50 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/HPLCC2420FIFO.nc"
static   result_t HPLCC2420FIFOM$HPLCC2420FIFO$TXFIFODone(uint8_t arg_0x11a8490, uint8_t *arg_0x11a8638);
#line 39
static   result_t HPLCC2420FIFOM$HPLCC2420FIFO$RXFIFODone(uint8_t arg_0x11a9c98, uint8_t *arg_0x11a9e40);
# 51 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/micaz/HPLCC2420FIFOM.nc"
 bool HPLCC2420FIFOM$bSpiAvail;
 uint8_t *HPLCC2420FIFOM$txbuf;
#line 52
uint8_t *HPLCC2420FIFOM$rxbuf;
 uint8_t HPLCC2420FIFOM$txlength;
#line 53
 uint8_t HPLCC2420FIFOM$rxlength;
bool HPLCC2420FIFOM$rxbufBusy;
#line 54
bool HPLCC2420FIFOM$txbufBusy;


static inline  void HPLCC2420FIFOM$signalTXdone(void);
#line 74
static inline  void HPLCC2420FIFOM$signalRXdone(void);
#line 95
static inline   result_t HPLCC2420FIFOM$HPLCC2420FIFO$writeTXFIFO(uint8_t len, uint8_t *msg);
#line 146
static inline   result_t HPLCC2420FIFOM$HPLCC2420FIFO$readRXFIFO(uint8_t len, uint8_t *msg);
# 51 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/HPLCC2420Interrupt.nc"
static   result_t HPLCC2420InterruptM$FIFO$fired(void);
#line 51
static   result_t HPLCC2420InterruptM$FIFOP$fired(void);
# 59 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/Timer.nc"
static  result_t HPLCC2420InterruptM$CCATimer$start(char arg_0x12c86e0, uint32_t arg_0x12c8878);
#line 59
static  result_t HPLCC2420InterruptM$FIFOTimer$start(char arg_0x12c86e0, uint32_t arg_0x12c8878);
# 62 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/micaz/TimerCapture.nc"
static   void HPLCC2420InterruptM$SFDCapture$enableEvents(void);
static   void HPLCC2420InterruptM$SFDCapture$disableEvents(void);
#line 52
static   void HPLCC2420InterruptM$SFDCapture$clearOverflow(void);
#line 47
static   bool HPLCC2420InterruptM$SFDCapture$isOverflowPending(void);
#line 40
static   void HPLCC2420InterruptM$SFDCapture$setEdge(uint8_t arg_0x12a0168);
# 51 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/HPLCC2420Interrupt.nc"
static   result_t HPLCC2420InterruptM$CCA$fired(void);
# 53 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/HPLCC2420Capture.nc"
static   result_t HPLCC2420InterruptM$SFD$captured(uint16_t arg_0x11b14f0);
# 57 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/micaz/HPLCC2420InterruptM.nc"
 uint8_t HPLCC2420InterruptM$FIFOWaitForState;
 uint8_t HPLCC2420InterruptM$FIFOLastState;

 uint8_t HPLCC2420InterruptM$CCAWaitForState;
 uint8_t HPLCC2420InterruptM$CCALastState;
#line 78
static   result_t HPLCC2420InterruptM$FIFOP$startWait(bool low_to_high);










static inline   result_t HPLCC2420InterruptM$FIFOP$disable(void);







void __vector_7(void)   __attribute((signal)) ;
#line 125
static inline  result_t HPLCC2420InterruptM$FIFOTimer$fired(void);
#line 150
static inline    result_t HPLCC2420InterruptM$FIFO$default$fired(void);







static inline   result_t HPLCC2420InterruptM$CCA$startWait(bool low_to_high);
#line 175
static inline  result_t HPLCC2420InterruptM$CCATimer$fired(void);
#line 200
static   result_t HPLCC2420InterruptM$SFD$enableCapture(bool low_to_high);










static   result_t HPLCC2420InterruptM$SFD$disable(void);









static inline   void HPLCC2420InterruptM$SFDCapture$captured(uint16_t time);
# 177 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/micaz/Clock16.nc"
static   result_t HPLTimer1M$Timer1$fire(void);
# 72 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/micaz/TimerCapture.nc"
static   void HPLTimer1M$CaptureT1$captured(uint16_t arg_0x12b6170);
# 43 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/micaz/HPLTimer1M.nc"
uint8_t HPLTimer1M$set_flag;
uint8_t HPLTimer1M$mscale;
#line 44
uint8_t HPLTimer1M$nextScale;
uint16_t HPLTimer1M$minterval;

static inline  result_t HPLTimer1M$StdControl$init(void);







static inline  result_t HPLTimer1M$StdControl$start(void);
#line 129
static inline   result_t HPLTimer1M$Timer1$setRate(uint16_t interval, char scale);
#line 168
static inline    result_t HPLTimer1M$Timer1$default$fire(void);