app.c

自己在学习nesC时的源码

uint8_t RF230RadioRawM$timerState = RF230RadioRawM$RF230_TIMER_IDLE;



enum RF230RadioRawM$__nesc_unnamed4267 {

  RF230RadioRawM$RF230_RADIO_DISABLED, 




  RF230RadioRawM$RF230_RADIO_START, 
  RF230RadioRawM$RF230_RADIO_STOP, 


  RF230RadioRawM$RF230_RADIO_IDLE, 





  RF230RadioRawM$RF230_RADIO_SEND_SETUP, 
  RF230RadioRawM$RF230_RADIO_SEND_BACKOFF, 
  RF230RadioRawM$RF230_RADIO_SEND_TX, 
  RF230RadioRawM$RF230_RADIO_WAIT_ACK, 
  RF230RadioRawM$RF230_RADIO_SEND_DONE, 
  RF230RadioRawM$RF230_RADIO_SEND_FAIL, 


  RF230RadioRawM$RF230_RADIO_SEND_WAKEUP
};





uint8_t RF230RadioRawM$radioState;




bool RF230RadioRawM$bAckEnabled;

bool RF230RadioRawM$bRxBufLocked;
bool RF230RadioRawM$bTxBufLocked;


uint8_t RF230RadioRawM$sendRetries;
uint8_t RF230RadioRawM$currentDSN;

uint16_t RF230RadioRawM$wakePacketCount;



uint8_t RF230RadioRawM$txlength;

TOS_MsgPtr RF230RadioRawM$txbufptr;
TOS_MsgPtr RF230RadioRawM$rxbufptr;
TOS_Msg RF230RadioRawM$RxBuf;






static __inline void RF230RadioRawM$initLocalState(void);

static __inline void RF230RadioRawM$fillDataPacket(TOS_MsgPtr pMsg);
static __inline void RF230RadioRawM$tryToSend(void);
static __inline void RF230RadioRawM$doCongestionBackOff(void);
static __inline void RF230RadioRawM$completeSend(void);

static __inline result_t RF230RadioRawM$setBackoffTimer(uint16_t jiffy);
static __inline result_t RF230RadioRawM$setAckTimer(uint16_t jiffy);

static __inline result_t RF230RadioRawM$setSendTimer(uint16_t jiffy);


static __inline void RF230RadioRawM$stopAllTimers(void);

static __inline void RF230RadioRawM$handleRxInt(void);
static __inline void RF230RadioRawM$handleTxInt(result_t status);
static __inline void RF230RadioRawM$handleSendAck(uint8_t dsn);
static __inline void RF230RadioRawM$handleWakeInt(void);
#line 176
static inline  void RF230RadioRawM$handleSendDone(void);









static inline  void RF230RadioRawM$handleRecv(void);
#line 204
static inline  void RF230RadioRawM$sigJiffyTimer(void);










static inline  result_t RF230RadioRawM$RadioSplitControl$init(void);
#line 234
static __inline void RF230RadioRawM$initLocalState(void);
#line 266
static inline  result_t RF230RadioRawM$RadioSplitControl$start(void);
#line 299
static  result_t RF230RadioRawM$RF230ControlSplitControl$startDone(void);
#line 373
static inline  result_t RF230RadioRawM$Send$send(TOS_MsgPtr pMsg);
#line 428
static __inline void RF230RadioRawM$fillDataPacket(TOS_MsgPtr pMsg);
#line 470
static __inline void RF230RadioRawM$tryToSend(void);
#line 552
static __inline void RF230RadioRawM$doCongestionBackOff(void);
#line 577
static __inline void RF230RadioRawM$completeSend(void);
#line 611
static inline  void  RF230RadioRawM$RF230Interrupts$INT_RX_Start(void);
#line 638
static inline  void  RF230RadioRawM$RF230Interrupts$INT_TRX_UnderRun(void);
#line 682
static inline  void  RF230RadioRawM$RF230Interrupts$INT_TRX_Done(void);
#line 726
static __inline void RF230RadioRawM$handleTxInt(result_t status);
#line 763
static __inline void RF230RadioRawM$handleRxInt(void);
#line 898
static __inline void RF230RadioRawM$handleSendAck(uint8_t dsn);
#line 944
static __inline result_t RF230RadioRawM$setBackoffTimer(uint16_t jiffy);
#line 973
static __inline result_t RF230RadioRawM$setAckTimer(uint16_t jiffy);
#line 1014
static __inline result_t RF230RadioRawM$setSendTimer(uint16_t jiffy);
#line 1034
static __inline void RF230RadioRawM$stopAllTimers(void);







static   result_t RF230RadioRawM$TimerJiffyAsync$fired(void);
#line 1183
static __inline void RF230RadioRawM$handleWakeInt(void);
#line 1248
static inline    
#line 1247
void RF230RadioRawM$sendCoordinator$default$startSymbol(
uint8_t bitsPerBlock, uint8_t offset, TOS_MsgPtr msgBuff);









static inline    
#line 1257
void RF230RadioRawM$recvCoordinator$default$startSymbol(
uint8_t bitsPerBlock, uint8_t offset, TOS_MsgPtr msgBuff);
# 16 "C:\\Crossbow\\cygwin\\opt\\MoteWorks\\tos\\radio\\rf230\\RF230Interrupts.nc"
static  void  RF230InterruptsM$RF230Interrupts$INT_RX_Start(void);



static  void  RF230InterruptsM$RF230Interrupts$INT_TRX_UnderRun(void);
#line 18
static  void  RF230InterruptsM$RF230Interrupts$INT_TRX_Done(void);
# 19 "C:\\Crossbow\\cygwin\\opt\\MoteWorks\\tos\\interfaces\\PowerManagement.nc"
static   uint8_t RF230InterruptsM$PowerManagement$adjustPower(void);
# 50 "C:\\Crossbow\\cygwin\\opt\\MoteWorks\\tos\\platform\\atm1281\\TimerCapture.nc"
static   void RF230InterruptsM$TimerCapture$enableEvents(void);
#line 28
static   void RF230InterruptsM$TimerCapture$setEdge(uint8_t arg_0x1a8c4930);
# 19 "C:\\Crossbow\\cygwin\\opt\\MoteWorks\\tos\\radio\\rf230\\HPLRF230.nc"
static   uint8_t RF230InterruptsM$HPLRF230$readReg(uint8_t arg_0x1a701db8);
# 41 "C:\\Crossbow\\cygwin\\opt\\MoteWorks\\tos\\radio\\rf230\\RF230InterruptsM.nc"
static inline  result_t RF230InterruptsM$InterruptControl$init(void);




static inline  result_t RF230InterruptsM$InterruptControl$start(void);
#line 74
static inline   void RF230InterruptsM$TimerCapture$captured(uint16_t time);
#line 117
static inline   void RF230InterruptsM$RF230Interrupts$enable(void);
# 157 "C:\\Crossbow\\cygwin\\opt\\MoteWorks\\tos\\platform\\atm1281\\Clock16.nc"
static   result_t HPLTimer1M$Timer1$fire(void);
# 60 "C:\\Crossbow\\cygwin\\opt\\MoteWorks\\tos\\platform\\atm1281\\TimerCapture.nc"
static   void HPLTimer1M$CaptureT1$captured(uint16_t arg_0x1a8c0010);
# 41 "C:\\Crossbow\\cygwin\\opt\\MoteWorks\\tos\\platform\\atm1281\\HPLTimer1M.nc"
volatile uint8_t HPLTimer1M$set_flag;
volatile uint8_t HPLTimer1M$mscale;
volatile uint8_t HPLTimer1M$nextScale;
volatile uint16_t HPLTimer1M$minterval;
#line 175
static inline    result_t HPLTimer1M$Timer1$default$fire(void);

void __vector_17(void)   __attribute((interrupt)) ;
#line 203
static   void HPLTimer1M$CaptureT1$setEdge(uint8_t LowToHigh);
#line 235
static inline   uint16_t HPLTimer1M$CaptureT1$getEvent(void);
#line 269
static inline   void HPLTimer1M$CaptureT1$enableEvents(void);
#line 302
void __vector_16(void)   __attribute((signal)) ;
# 250 "C:\\Crossbow\\cygwin\\usr\\local\\avr\\include\\util\\crc16.h"
#line 249
static __inline uint16_t 
HPLRF230M$_crc_ccitt_update(uint16_t __crc, uint8_t __data);
# 18 "C:\\Crossbow\\cygwin\\opt\\MoteWorks\\tos\\radio\\rf230\\HPLRF230.h"
static __inline void HPLRF230M$initSPIMaster(void);
#line 32
static __inline void HPLRF230M$initRadioGPIO(void);
#line 61
static __inline void HPLRF230M$bios_reg_write(uint8_t addr, uint8_t val);
#line 84
static __inline uint8_t HPLRF230M$bios_reg_read(uint8_t addr);
#line 148
static __inline void HPLRF230M$bios_bit_write(uint8_t addr, uint8_t mask, uint8_t pos, uint8_t value);
#line 173
static __inline void HPLRF230M$bios_frame_write(uint8_t length, uint8_t *data);
#line 252
static __inline uint8_t HPLRF230M$bios_frame_crc_read(uint8_t *d);
#line 319
static __inline void HPLRF230M$bios_gen_crc16(uint8_t *msg);
# 26 "C:\\Crossbow\\cygwin\\opt\\MoteWorks\\tos\\radio\\rf230\\HPLRF230M.nc"
static inline   void HPLRF230M$HPLRF230Init$init(void);
#line 42
static inline   void HPLRF230M$HPLRF230$writeReg(uint8_t addr, uint8_t value);






static   uint8_t HPLRF230M$HPLRF230$readReg(uint8_t addr);









static inline   void HPLRF230M$HPLRF230$writeFrame(uint8_t len, uint8_t *buff);







static inline   void HPLRF230M$HPLRF230$addCRC(uint8_t *buff);







static inline   uint8_t HPLRF230M$HPLRF230$readFrameCRC(uint8_t *buff);
#line 114
static inline   void HPLRF230M$HPLRF230$bitWrite(uint8_t addr, uint8_t mask, uint8_t pos, uint8_t value);
# 19 "C:\\Crossbow\\cygwin\\opt\\MoteWorks\\tos\\interfaces\\PowerManagement.nc"
static   uint8_t TimerM$PowerManagement$adjustPower(void);
# 84 "C:\\Crossbow\\cygwin\\opt\\MoteWorks\\tos\\interfaces\\Clock.nc"
static   void TimerM$Clock$setInterval(uint8_t arg_0x1aa164f0);
#line 132
static   uint8_t TimerM$Clock$readCounter(void);
#line 75
static   result_t TimerM$Clock$setRate(char arg_0x1aa17740, char arg_0x1aa178c0);
#line 100
static   uint8_t TimerM$Clock$getInterval(void);
# 51 "C:\\Crossbow\\cygwin\\opt\\MoteWorks\\tos\\interfaces\\Timer.nc"
static  result_t TimerM$Timer$fired(
# 26 "C:\\Crossbow\\cygwin\\opt\\MoteWorks\\tos\\system\\TimerM.nc"
uint8_t arg_0x1aa03a68);









uint32_t TimerM$mState;
uint8_t TimerM$setIntervalFlag;
uint8_t TimerM$mScale;
#line 38
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 45
struct TimerM$timer_s {
  uint8_t type;
  int32_t ticks;
  int32_t ticksLeft;
} TimerM$mTimerList[NUM_TIMERS];

enum TimerM$__nesc_unnamed4268 {
  TimerM$maxTimerInterval = 230
};
static  result_t TimerM$StdControl$init(void);









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










static  result_t TimerM$Timer$start(uint8_t id, char type, 
uint32_t interval);
#line 106
inline static void TimerM$adjustInterval(void);
#line 159
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 230
static inline   result_t TimerM$Clock$fire(void);
# 159 "C:\\Crossbow\\cygwin\\opt\\MoteWorks\\tos\\interfaces\\Clock.nc"
static   result_t HPLClock$Clock$fire(void);
# 37 "C:\\Crossbow\\cygwin\\opt\\MoteWorks\\tos\\platform\\atm1281\\HPLClock.nc"
uint8_t HPLClock$set_flag;
uint8_t HPLClock$mscale;
#line 38
uint8_t HPLClock$nextScale;
#line 38
uint8_t HPLClock$minterval;
#line 70
static inline   void HPLClock$Clock$setInterval(uint8_t value);









static inline   uint8_t HPLClock$Clock$getInterval(void);
#line 108
static inline   result_t HPLClock$Clock$setIntervalAndScale(uint8_t interval, uint8_t scale);
#line 136
static inline   uint8_t HPLClock$Clock$readCounter(void);
#line 157
static inline   result_t HPLClock$Clock$setRate(char interval, char scale);






void __vector_13(void)   __attribute((interrupt)) ;
# 48 "C:\\Crossbow\\cygwin\\opt\\MoteWorks\\tos\\platform\\micazc\\HPLPowerManagementM.nc"
bool HPLPowerManagementM$disabled = TRUE;
#line 61
static inline uint8_t HPLPowerManagementM$getPowerLevel(void);
#line 114
static inline  void HPLPowerManagementM$doAdjustment(void);
#line 134
static   uint8_t HPLPowerManagementM$PowerManagement$adjustPower(void);
# 22 "C:\\Crossbow\\cygwin\\opt\\MoteWorks\\tos\\platform\\atm1281\\TimerJiffyAsync.nc"
static   result_t TimerJiffyAsyncM$TimerJiffyAsync$fired(void);
# 19 "C:\\Crossbow\\cygwin\\opt\\MoteWorks\\tos\\interfaces\\PowerManagement.nc"
static   uint8_t TimerJiffyAsyncM$PowerManagement$adjustPower(void);
# 127 "C:\\Crossbow\\cygwin\\opt\\MoteWorks\\tos\\interfaces\\Clock.nc"
static   result_t TimerJiffyAsyncM$Timer$setIntervalAndScale(uint8_t arg_0x1aa13420, uint8_t arg_0x1aa135a8);
#line 147
static   void TimerJiffyAsyncM$Timer$intDisable(void);
# 40 "C:\\Crossbow\\cygwin\\opt\\MoteWorks\\tos\\platform\\atm1281\\TimerJiffyAsyncM.nc"
uint32_t TimerJiffyAsyncM$jiffy;
bool TimerJiffyAsyncM$bSet;
#line 68
static inline   result_t TimerJiffyAsyncM$Timer$fire(void);
#line 88
static   result_t TimerJiffyAsyncM$TimerJiffyAsync$setOneShot(uint32_t _jiffy);
#line 110
static inline   result_t TimerJiffyAsyncM$TimerJiffyAsync$stop(void);
# 159 "C:\\Crossbow\\cygwin\\opt\\MoteWorks\\tos\\interfaces\\Clock.nc"
static   result_t HPLTimer0$Timer0$fire(void);
# 78 "C:\\Crossbow\\cygwin\\opt\\MoteWorks\\tos\\platform\\atm1281\\HPLTimer0.nc"
uint8_t HPLTimer0$set_flag;
uint8_t HPLTimer0$mscale;
#line 79
uint8_t HPLTimer0$nextScale;
#line 79
uint8_t HPLTimer0$minterval;
#line 148
static   result_t HPLTimer0$Timer0$setIntervalAndScale(uint8_t interval, uint8_t scale);
#line 202
static inline   void HPLTimer0$Timer0$intDisable(void);






void __vector_21(void)   __attribute((interrupt)) ;
# 33 "C:\\Crossbow\\cygwin\\opt\\MoteWorks\\tos\\system\\RandomLFSR.nc"
uint16_t RandomLFSR$shiftReg;
uint16_t RandomLFSR$initSeed;
uint16_t RandomLFSR$mask;


static   result_t RandomLFSR$Random$init(void);










static   uint16_t RandomLFSR$Random$rand(void);
# 53 "C:\\Crossbow\\cygwin\\opt\\MoteWorks\\tos\\interfaces\\ReceiveMsg.nc"
static  TOS_MsgPtr FramerM$ReceiveMsg$receive(TOS_MsgPtr arg_0x1a605420);
# 34 "C:\\Crossbow\\cygwin\\opt\\MoteWorks\\tos\\interfaces\\ByteComm.nc"
static   result_t FramerM$ByteComm$txByte(uint8_t arg_0x1ab340f8);
# 41 "C:\\Crossbow\\cygwin\\opt\\MoteWorks\\tos\\interfaces\\StdControl.nc"
static  result_t FramerM$ByteControl$init(void);






static  result_t FramerM$ByteControl$start(void);
# 45 "C:\\Crossbow\\cygwin\\opt\\MoteWorks\\tos\\interfaces\\BareSendMsg.nc"
static  result_t FramerM$BareSendMsg$sendDone(TOS_MsgPtr arg_0x1a6557e0, result_t arg_0x1a655970);
# 46 "C:\\Crossbow\\cygwin\\opt\\MoteWorks\\tos\\interfaces\\TokenReceiveMsg.nc"
static  TOS_MsgPtr FramerM$TokenReceiveMsg$receive(TOS_MsgPtr arg_0x1ab38190, uint8_t arg_0x1ab38318);
# 55 "C:\\Crossbow\\cygwin\\opt\\MoteWorks\\tos\\platform\\micazc\\FramerM.nc"
enum FramerM$__nesc_unnamed4269 {