app.c

This is a helpful document for tinyos learners

void __vector_12(void)   __attribute((interrupt)) ;
#line 194
static inline   void HPLTimer1M$CaptureT1$setEdge(uint8_t LowToHigh);
#line 219
static inline   bool HPLTimer1M$CaptureT1$isOverflowPending(void);







static inline   uint16_t HPLTimer1M$CaptureT1$getEvent(void);








static inline   void HPLTimer1M$CaptureT1$clearOverflow(void);
#line 252
static inline   void HPLTimer1M$CaptureT1$enableEvents(void);









static inline   void HPLTimer1M$CaptureT1$disableEvents(void);
#line 278
void __vector_11(void)   __attribute((signal)) ;
# 41 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/PowerManagement.nc"
static   uint8_t TimerM$PowerManagement$adjustPower(void);
# 105 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/Clock.nc"
static   void TimerM$Clock$setInterval(uint8_t arg_0x1370200);
#line 153
static   uint8_t TimerM$Clock$readCounter(void);
#line 96
static   result_t TimerM$Clock$setRate(char arg_0x1371600, char arg_0x1371780);
#line 121
static   uint8_t TimerM$Clock$getInterval(void);
# 73 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/Timer.nc"
static  result_t TimerM$Timer$fired(
# 49 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/system/TimerM.nc"
uint8_t arg_0x1361e70);









uint32_t TimerM$mState;
uint8_t TimerM$setIntervalFlag;
uint8_t TimerM$mScale;
#line 61
uint8_t TimerM$mInterval;
int8_t TimerM$queue_head;
int8_t TimerM$queue_tail;
uint8_t TimerM$queue_size;
uint8_t TimerM$queue[NUM_TIMERS];
volatile uint16_t TimerM$interval_outstanding;





#line 68
struct TimerM$timer_s {
  uint8_t type;
  int32_t ticks;
  int32_t ticksLeft;
} TimerM$mTimerList[NUM_TIMERS];

enum TimerM$__nesc_unnamed4270 {
  TimerM$maxTimerInterval = 230
};
static inline  result_t TimerM$StdControl$init(void);
#line 98
static  result_t TimerM$Timer$start(uint8_t id, char type, 
uint32_t interval);
#line 129
inline static void TimerM$adjustInterval(void);
#line 182
static inline   result_t TimerM$Timer$default$fired(uint8_t id);



static inline void TimerM$enqueue(uint8_t value);







static inline uint8_t TimerM$dequeue(void);









static inline  void TimerM$signalOneTimer(void);





static inline  void TimerM$HandleFire(void);
#line 253
static inline   result_t TimerM$Clock$fire(void);
# 180 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/Clock.nc"
static   result_t HPLClock$Clock$fire(void);
# 54 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/mica/HPLClock.nc"
uint8_t HPLClock$set_flag;
uint8_t HPLClock$mscale;
#line 55
uint8_t HPLClock$nextScale;
#line 55
uint8_t HPLClock$minterval;
#line 87
static inline   void HPLClock$Clock$setInterval(uint8_t value);









static inline   uint8_t HPLClock$Clock$getInterval(void);
#line 134
static inline   uint8_t HPLClock$Clock$readCounter(void);
#line 149
static inline   result_t HPLClock$Clock$setRate(char interval, char scale);
#line 167
void __vector_15(void)   __attribute((interrupt)) ;
# 51 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/mica2/HPLPowerManagementM.nc"
 int8_t HPLPowerManagementM$disableCount = 1;
uint8_t HPLPowerManagementM$powerLevel;

enum HPLPowerManagementM$__nesc_unnamed4271 {
  HPLPowerManagementM$IDLE = 0, 
  HPLPowerManagementM$ADC_NR = 1 << 3, 
  HPLPowerManagementM$POWER_DOWN = 1 << 4, 
  HPLPowerManagementM$POWER_SAVE = (1 << 3) + (1 << 4), 
  HPLPowerManagementM$STANDBY = (1 << 2) + (1 << 4), 
  HPLPowerManagementM$EXT_STANDBY = (1 << 3) + (1 << 4) + (1 << 2)
};


static inline uint8_t HPLPowerManagementM$getPowerLevel(void);
#line 85
static inline  void HPLPowerManagementM$doAdjustment(void);
#line 102
static   uint8_t HPLPowerManagementM$PowerManagement$adjustPower(void);
# 54 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/system/RandomLFSR.nc"
uint16_t RandomLFSR$shiftReg;
uint16_t RandomLFSR$initSeed;
uint16_t RandomLFSR$mask;


static inline   result_t RandomLFSR$Random$init(void);










static   uint16_t RandomLFSR$Random$rand(void);
# 12 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/TimerJiffyAsync.nc"
static   result_t TimerJiffyAsyncM$TimerJiffyAsync$fired(void);
# 148 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/Clock.nc"
static   result_t TimerJiffyAsyncM$Timer$setIntervalAndScale(uint8_t arg_0x13878e8, uint8_t arg_0x1387a70);
#line 168
static   void TimerJiffyAsyncM$Timer$intDisable(void);
# 18 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/micaz/TimerJiffyAsyncM.nc"
uint32_t TimerJiffyAsyncM$jiffy;
bool TimerJiffyAsyncM$bSet;


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





static inline  result_t TimerJiffyAsyncM$StdControl$start(void);
#line 44
static inline   result_t TimerJiffyAsyncM$Timer$fire(void);
#line 61
static   result_t TimerJiffyAsyncM$TimerJiffyAsync$setOneShot(uint32_t _jiffy);
#line 76
static inline   bool TimerJiffyAsyncM$TimerJiffyAsync$isSet(void);




static inline   result_t TimerJiffyAsyncM$TimerJiffyAsync$stop(void);
# 180 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/Clock.nc"
static   result_t HPLTimer2$Timer2$fire(void);
# 56 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/micaz/HPLTimer2.nc"
uint8_t HPLTimer2$set_flag;
uint8_t HPLTimer2$mscale;
#line 57
uint8_t HPLTimer2$nextScale;
#line 57
uint8_t HPLTimer2$minterval;
#line 118
static   result_t HPLTimer2$Timer2$setIntervalAndScale(uint8_t interval, uint8_t scale);
#line 165
static inline   void HPLTimer2$Timer2$intDisable(void);






void __vector_9(void)   __attribute((interrupt)) ;
# 50 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/system/LedsC.nc"
uint8_t LedsC$ledsOn;

enum LedsC$__nesc_unnamed4272 {
  LedsC$RED_BIT = 1, 
  LedsC$GREEN_BIT = 2, 
  LedsC$YELLOW_BIT = 4
};

static   result_t LedsC$Leds$init(void);
#line 72
static   result_t LedsC$Leds$redOn(void);








static   result_t LedsC$Leds$redOff(void);








static inline   result_t LedsC$Leds$redToggle(void);










static   result_t LedsC$Leds$greenOn(void);








static   result_t LedsC$Leds$greenOff(void);








static inline   result_t LedsC$Leds$greenToggle(void);










static   result_t LedsC$Leds$yellowOn(void);








static   result_t LedsC$Leds$yellowOff(void);
# 75 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/ReceiveMsg.nc"
static  TOS_MsgPtr FramerM$ReceiveMsg$receive(TOS_MsgPtr arg_0x1135170);
# 55 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/ByteComm.nc"
static   result_t FramerM$ByteComm$txByte(uint8_t arg_0x14d3988);
# 63 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/StdControl.nc"
static  result_t FramerM$ByteControl$init(void);






static  result_t FramerM$ByteControl$start(void);
# 67 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/BareSendMsg.nc"
static  result_t FramerM$BareSendMsg$sendDone(TOS_MsgPtr arg_0x1123818, result_t arg_0x11239a8);
# 75 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/TokenReceiveMsg.nc"
static  TOS_MsgPtr FramerM$TokenReceiveMsg$receive(TOS_MsgPtr arg_0x1133a40, uint8_t arg_0x1133bc8);
# 82 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/micaz/FramerM.nc"
enum FramerM$__nesc_unnamed4273 {
  FramerM$HDLC_QUEUESIZE = 2, 

  FramerM$HDLC_MTU = sizeof(TOS_Msg ) - 5, 



  FramerM$HDLC_FLAG_BYTE = 0x7e, 
  FramerM$HDLC_CTLESC_BYTE = 0x7d, 
  FramerM$PROTO_ACK = 64, 
  FramerM$PROTO_PACKET_ACK = 65, 
  FramerM$PROTO_PACKET_NOACK = 66, 
  FramerM$PROTO_UNKNOWN = 255
};

enum FramerM$__nesc_unnamed4274 {
  FramerM$RXSTATE_NOSYNC, 
  FramerM$RXSTATE_PROTO, 
  FramerM$RXSTATE_TOKEN, 
  FramerM$RXSTATE_INFO, 
  FramerM$RXSTATE_ESC
};

enum FramerM$__nesc_unnamed4275 {
  FramerM$TXSTATE_IDLE, 
  FramerM$TXSTATE_PROTO, 
  FramerM$TXSTATE_INFO, 
  FramerM$TXSTATE_ESC, 
  FramerM$TXSTATE_FCS1, 
  FramerM$TXSTATE_FCS2, 
  FramerM$TXSTATE_ENDFLAG, 
  FramerM$TXSTATE_FINISH, 
  FramerM$TXSTATE_ERROR
};

enum FramerM$__nesc_unnamed4276 {
  FramerM$FLAGS_TOKENPEND = 0x2, 
  FramerM$FLAGS_DATAPEND = 0x4, 
  FramerM$FLAGS_UNKNOWN = 0x8
};

TOS_Msg FramerM$gMsgRcvBuf[FramerM$HDLC_QUEUESIZE];






#line 125
typedef struct FramerM$_MsgRcvEntry {
  uint8_t Proto;
  uint8_t Token;
  uint16_t Length;
  TOS_MsgPtr pMsg;
} FramerM$MsgRcvEntry_t;

FramerM$MsgRcvEntry_t FramerM$gMsgRcvTbl[FramerM$HDLC_QUEUESIZE];

uint8_t *FramerM$gpRxBuf;
uint8_t *FramerM$gpTxBuf;

uint8_t FramerM$gFlags;


 uint8_t FramerM$gTxState;
 uint8_t FramerM$gPrevTxState;
 uint8_t FramerM$gTxProto;
 uint16_t FramerM$gTxByteCnt;
 uint16_t FramerM$gTxLength;
 uint16_t FramerM$gTxRunningCRC;


uint8_t FramerM$gRxState;
uint8_t FramerM$gRxHeadIndex;
uint8_t FramerM$gRxTailIndex;
uint16_t FramerM$gRxByteCnt;

uint16_t FramerM$gRxRunningCRC;

TOS_MsgPtr FramerM$gpTxMsg;
uint8_t FramerM$gTxTokenBuf;
uint8_t FramerM$gTxUnknownBuf;
 uint8_t FramerM$gTxEscByte;

static  void FramerM$PacketSent(void);

static uint8_t FramerM$fRemapRxPos(uint8_t InPos);






static uint8_t FramerM$fRemapRxPos(uint8_t InPos);
#line 184
static result_t FramerM$StartTx(void);
#line 244
static inline  void FramerM$PacketUnknown(void);







static inline  void FramerM$PacketRcvd(void);
#line 291
static  void FramerM$PacketSent(void);
#line 313
static void FramerM$HDLCInitialize(void);
#line 336
static inline  result_t FramerM$StdControl$init(void);




static inline  result_t FramerM$StdControl$start(void);









static inline  result_t FramerM$BareSendMsg$send(TOS_MsgPtr pMsg);
#line 373
static inline  result_t FramerM$TokenReceiveMsg$ReflectToken(uint8_t Token);
#line 393
static inline   result_t FramerM$ByteComm$rxByteReady(uint8_t data, bool error, uint16_t strength);
#line 520
static result_t FramerM$TxArbitraryByte(uint8_t inByte);
#line 533
static inline   result_t FramerM$ByteComm$txByteReady(bool LastByteSuccess);
#line 611
static inline   result_t FramerM$ByteComm$txDone(void);
# 62 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/HPLUART.nc"
static   result_t UARTM$HPLUART$init(void);
#line 80
static   result_t UARTM$HPLUART$put(uint8_t arg_0x1545ba0);
# 83 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/ByteComm.nc"
static   result_t UARTM$ByteComm$txDone(void);
#line 75
static   result_t UARTM$ByteComm$txByteReady(bool arg_0x14d2830);
#line 66
static   result_t UARTM$ByteComm$rxByteReady(uint8_t arg_0x14d3ed8, bool arg_0x14d2088, uint16_t arg_0x14d2220);
# 58 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/system/UARTM.nc"
bool UARTM$state;

static inline  result_t UARTM$Control$init(void);







static inline  result_t UARTM$Control$start(void);








static inline   result_t UARTM$HPLUART$get(uint8_t data);









static inline   result_t UARTM$HPLUART$putDone(void);
#line 110
static   result_t UARTM$ByteComm$txByte(uint8_t data);
# 88 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/HPLUART.nc"
static   result_t HPLUART0M$UART$get(uint8_t arg_0x1543168);