app.c

Tinyos下的简单通讯模型

# 49 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/interfaces/SendMsg.nc"
result_t AMStandard$SendMsg$sendDone(
# 55 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/system/AMStandard.nc"
uint8_t arg_0xa608cd0, 
# 49 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/interfaces/SendMsg.nc"
TOS_MsgPtr arg_0xa5fc818, result_t arg_0xa5fc968);
# 81 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/system/AMStandard.nc"
bool AMStandard$state[1000];
TOS_MsgPtr AMStandard$buffer[1000];
uint16_t AMStandard$lastCount[1000];
uint16_t AMStandard$counter[1000];
static inline  

bool AMStandard$Control$init(void);
static inline  
#line 103
bool AMStandard$Control$start(void);
static inline  
#line 119
bool AMStandard$Control$stop(void);
static 
#line 132
void AMStandard$dbgPacket(TOS_MsgPtr data);
static 









result_t AMStandard$reportSendDone(TOS_MsgPtr msg, result_t success);
static inline  






result_t AMStandard$ActivityTimer$fired(void);
static inline   




result_t AMStandard$SendMsg$default$sendDone(uint8_t id, TOS_MsgPtr msg, result_t success);
static inline   

result_t AMStandard$default$sendDone(void);
static inline  



void AMStandard$sendTask(void);
static  
#line 179
result_t AMStandard$SendMsg$send(uint8_t id, uint16_t addr, uint8_t length, TOS_MsgPtr data);
static inline  
#line 207
result_t AMStandard$UARTSend$sendDone(TOS_MsgPtr msg, result_t success);
static inline  

result_t AMStandard$RadioSend$sendDone(TOS_MsgPtr msg, result_t success);




TOS_MsgPtr   received(TOS_MsgPtr packet);
static inline   
#line 242
TOS_MsgPtr AMStandard$ReceiveMsg$default$receive(uint8_t id, TOS_MsgPtr msg);
static inline  


TOS_MsgPtr AMStandard$UARTReceive$receive(TOS_MsgPtr packet);
static inline  




TOS_MsgPtr AMStandard$RadioReceive$receive(TOS_MsgPtr packet);
static   
# 34 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/platform/pc/RadioTiming.nc"
uint16_t MicaHighSpeedRadioM$RadioTiming$currentTime(void);
static   
#line 33
uint16_t MicaHighSpeedRadioM$RadioTiming$getTiming(void);
static  
# 67 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/interfaces/BareSendMsg.nc"
result_t MicaHighSpeedRadioM$Send$sendDone(TOS_MsgPtr arg_0xa627290, result_t arg_0xa6273e0);
static   
# 57 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/interfaces/Random.nc"
result_t MicaHighSpeedRadioM$Random$init(void);
static  
# 33 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/platform/pc/RadioEncoding.nc"
result_t MicaHighSpeedRadioM$Code$encode_flush(void);
static  
result_t MicaHighSpeedRadioM$Code$decode(char arg_0xa6518b8);
static  
#line 34
result_t MicaHighSpeedRadioM$Code$encode(char arg_0xa6514c0);
static  
# 75 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/interfaces/ReceiveMsg.nc"
TOS_MsgPtr MicaHighSpeedRadioM$Receive$receive(TOS_MsgPtr arg_0xa58bb98);
static   
# 48 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/interfaces/RadioCoordinator.nc"
void MicaHighSpeedRadioM$RadioReceiveCoordinator$byte(TOS_MsgPtr arg_0xa631a30, uint8_t arg_0xa631b80);
static   
#line 45
void MicaHighSpeedRadioM$RadioReceiveCoordinator$startSymbol(void);
static  
# 33 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/platform/pc/SpiByteFifo.nc"
result_t MicaHighSpeedRadioM$SpiByteFifo$send(uint8_t arg_0xa64ad48);
static  



result_t MicaHighSpeedRadioM$SpiByteFifo$phaseShift(void);
static  
#line 35
result_t MicaHighSpeedRadioM$SpiByteFifo$startReadBytes(uint16_t arg_0xa64b408);
static  
#line 34
result_t MicaHighSpeedRadioM$SpiByteFifo$idle(void);
static  
result_t MicaHighSpeedRadioM$SpiByteFifo$txMode(void);
static  result_t MicaHighSpeedRadioM$SpiByteFifo$rxMode(void);
static   
# 48 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/interfaces/RadioCoordinator.nc"
void MicaHighSpeedRadioM$RadioSendCoordinator$byte(TOS_MsgPtr arg_0xa631a30, uint8_t arg_0xa631b80);
static   
#line 45
void MicaHighSpeedRadioM$RadioSendCoordinator$startSymbol(void);
static  
# 36 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/platform/pc/ChannelMon.nc"
result_t MicaHighSpeedRadioM$ChannelMon$macDelay(void);
static  
#line 34
result_t MicaHighSpeedRadioM$ChannelMon$startSymbolSearch(void);
static  
#line 33
result_t MicaHighSpeedRadioM$ChannelMon$init(void);
# 50 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/platform/pc/MicaHighSpeedRadioM.nc"
enum MicaHighSpeedRadioM$__nesc_unnamed4291 {
  MicaHighSpeedRadioM$IDLE_STATE, 
  MicaHighSpeedRadioM$SEND_WAITING, 
  MicaHighSpeedRadioM$RX_STATE, 
  MicaHighSpeedRadioM$TRANSMITTING, 
  MicaHighSpeedRadioM$WAITING_FOR_ACK, 
  MicaHighSpeedRadioM$SENDING_STRENGTH_PULSE, 
  MicaHighSpeedRadioM$TRANSMITTING_START, 
  MicaHighSpeedRadioM$RX_DONE_STATE, 
  MicaHighSpeedRadioM$ACK_SEND_STATE
};

enum MicaHighSpeedRadioM$__nesc_unnamed4292 {
  MicaHighSpeedRadioM$ACK_CNT = 4, 
  MicaHighSpeedRadioM$ENCODE_PACKET_LENGTH_DEFAULT = MSG_DATA_SIZE * 3
};






char MicaHighSpeedRadioM$state[1000];
char MicaHighSpeedRadioM$send_state[1000];
char MicaHighSpeedRadioM$tx_count[1000];
unsigned short MicaHighSpeedRadioM$calc_crc[1000];
uint8_t MicaHighSpeedRadioM$ack_count[1000];
char MicaHighSpeedRadioM$rec_count[1000];
TOS_Msg MicaHighSpeedRadioM$buffer[1000];
TOS_Msg *MicaHighSpeedRadioM$rec_ptr[1000];
TOS_Msg *MicaHighSpeedRadioM$send_ptr[1000];
unsigned char MicaHighSpeedRadioM$rx_count[1000];
char MicaHighSpeedRadioM$msg_length[1000];
char MicaHighSpeedRadioM$buf_head[1000];
char MicaHighSpeedRadioM$buf_end[1000];
char MicaHighSpeedRadioM$encoded_buffer[1000][4];
char MicaHighSpeedRadioM$enc_count[1000];
static 


short MicaHighSpeedRadioM$add_crc_byte(char new_byte, short crc);
static inline  
void MicaHighSpeedRadioM$packetReceived(void);
static inline  






void MicaHighSpeedRadioM$packetSent(void);
static inline  









result_t MicaHighSpeedRadioM$Send$send(TOS_MsgPtr msg);
static inline  
#line 123
result_t MicaHighSpeedRadioM$Control$stop(void);
static inline  


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




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








result_t MicaHighSpeedRadioM$ChannelMon$startSymDetect(void);










result_t   finishedTiming(void);
static inline  









result_t MicaHighSpeedRadioM$ChannelMon$idleDetect(void);
static inline  
#line 184
result_t MicaHighSpeedRadioM$Code$decodeDone(char data, char error);
static  
#line 221
result_t MicaHighSpeedRadioM$Code$encodeDone(char data1);
static  






result_t MicaHighSpeedRadioM$SpiByteFifo$dataReady(uint8_t data);
static 
#line 321
short MicaHighSpeedRadioM$add_crc_byte(char new_byte, short crc);
static inline    
#line 338
void MicaHighSpeedRadioM$RadioSendCoordinator$default$startSymbol(void);
static inline    void MicaHighSpeedRadioM$RadioSendCoordinator$default$byte(TOS_MsgPtr msg, uint8_t byteCount);
static inline    void MicaHighSpeedRadioM$RadioReceiveCoordinator$default$startSymbol(void);
static inline    void MicaHighSpeedRadioM$RadioReceiveCoordinator$default$byte(TOS_MsgPtr msg, uint8_t byteCount);
static  
# 37 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/platform/pc/RadioEncoding.nc"
result_t SecDedEncoding$Code$decodeDone(char arg_0xa651cb8, char arg_0xa651df8);
static  result_t SecDedEncoding$Code$encodeDone(char arg_0xa66e218);
# 44 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/platform/pc/SecDedEncoding.nc"
enum SecDedEncoding$__nesc_unnamed4293 {


  SecDedEncoding$IDLE_STATE = 0, 
  SecDedEncoding$DECODING_BYTE_3 = 1, 
  SecDedEncoding$DECODING_BYTE_2 = 2, 
  SecDedEncoding$DECODING_BYTE_1 = 3, 
  SecDedEncoding$ENCODING_BYTE = 4
};

char SecDedEncoding$data1[1000];
char SecDedEncoding$data2[1000];
char SecDedEncoding$data3[1000];
char SecDedEncoding$state[1000];
static inline 
void SecDedEncoding$radio_decode_thread(void);
static inline void SecDedEncoding$radio_encode_thread(void);
static inline  
result_t SecDedEncoding$Code$decode(char d1);
static inline  
#line 81
result_t SecDedEncoding$Code$encode_flush(void);
static  



result_t SecDedEncoding$Code$encode(char d);
static inline 









void SecDedEncoding$radio_encode_thread(void);
static inline 
#line 155
void SecDedEncoding$radio_decode_thread(void);
# 54 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/system/RandomLFSR.nc"
uint16_t RandomLFSR$shiftReg[1000];
uint16_t RandomLFSR$initSeed[1000];
uint16_t RandomLFSR$mask[1000];
static inline   

result_t RandomLFSR$Random$init(void);
static   









uint16_t RandomLFSR$Random$rand(void);
static   
# 63 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/interfaces/Random.nc"
uint16_t ChannelMonC$Random$rand(void);
static  
# 39 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/platform/pc/ChannelMon.nc"
result_t ChannelMonC$ChannelMon$idleDetect(void);
static  
#line 38
result_t ChannelMonC$ChannelMon$startSymDetect(void);
# 39 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/platform/pc/ChannelMonC.nc"
enum ChannelMonC$__nesc_unnamed4294 {
  ChannelMonC$IDLE_STATE, 
  ChannelMonC$START_SYMBOL_SEARCH, 
  ChannelMonC$PACKET_START, 
  ChannelMonC$DISABLED_STATE
};

enum ChannelMonC$__nesc_unnamed4295 {
  ChannelMonC$SAMPLE_RATE = 100 / 2 * 4
};
event_t  *channelMonEvents[TOSNODES];
unsigned short ChannelMonC$CM_search[1000][2];
char ChannelMonC$CM_state[1000];
unsigned char ChannelMonC$CM_lastBit[1000];
unsigned char ChannelMonC$CM_startSymBits[1000];
short ChannelMonC$CM_waiting[1000];
static inline  
result_t ChannelMonC$ChannelMon$init(void);
static  



result_t ChannelMonC$ChannelMon$startSymbolSearch(void);
static inline 
#line 88
void  SIG_OUTPUT_COMPARE2B_signal(void);
static  
#line 136
result_t ChannelMonC$ChannelMon$stopMonitorChannel(void);
static inline  







result_t ChannelMonC$ChannelMon$macDelay(void);
static inline 






void ChannelMonC$event_channel_mon_handle(event_t *fevent, 
struct TOS_state *state);
#line 178
void   event_channel_mon_create(event_t *fevent, int mote, long long ftime, int interval);
#line 195
void   event_channel_mon_invalidate(event_t *fevent);
 
# 41 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/platform/pc/RadioTimingC.nc"
event_t  *radioTimingEvents[TOSNODES];
static inline   
uint16_t RadioTimingC$RadioTiming$getTiming(void);
static inline   
#line 76
uint16_t RadioTimingC$RadioTiming$currentTime(void);





result_t   finishedTiming(void);
static inline 
void RadioTimingC$event_radio_timing_handle(event_t *fevent, 
struct TOS_state *state);
#line 130
void   event_radio_timing_create(event_t *fevent, int mote, long long ftime, int interval);
#line 147
void   event_radio_timing_invalidate(event_t *fevent);
static  
# 40 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/platform/pc/SpiByteFifo.nc"
result_t SpiByteFifoC$SpiByteFifo$dataReady(uint8_t arg_0xa668060);
# 38 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/platform/pc/SpiByteFifoC.nc"
uint8_t SpiByteFifoC$nextByte[1000];
uint8_t SpiByteFifoC$state[1000];
uint8_t SpiByteFifoC$spdr[1000];
uint8_t SpiByteFifoC$radioState[1000];


enum SpiByteFifoC$__nesc_unnamed4296 {
  SpiByteFifoC$IDLE, 
  SpiByteFifoC$FULL, 
  SpiByteFifoC$OPEN, 
  SpiByteFifoC$READING
};

enum SpiByteFifoC$__nesc_unnamed4297 {
  SpiByteFifoC$RADIO_RECEIVING, 
  SpiByteFifoC$RADIO_SENDING, 
  SpiByteFifoC$RADIO_IDLE
};

enum SpiByteFifoC$__nesc_unnamed4298 {
  SpiByteFifoC$TOSH_BIT_RATE = 20 * 4 / 2 * 5 / 4
};
static inline 

void  SIG_SPI_signal(void);
static  





result_t SpiByteFifoC$SpiByteFifo$send(uint8_t data);
static  
#line 100
result_t SpiByteFifoC$SpiByteFifo$idle(void);
static inline  
#line 115
result_t SpiByteFifoC$SpiByteFifo$startReadBytes(uint16_t timing);
static inline  
#line 129
result_t SpiByteFifoC$SpiByteFifo$txMode(void);
static inline  





result_t SpiByteFifoC$SpiByteFifo$rxMode(void);
static inline  







result_t SpiByteFifoC$SpiByteFifo$phaseShift(void);
#line 163
void   event_spi_byte_handle(event_t *fevent, 
struct TOS_state *fstate);
#line 245
void   event_spi_byte_create(event_t *fevent, int mote, long long ftime, int interval, int count);
#line 264
void   event_spi_byte_invalidate(event_t *fevent);




void   event_spi_byte_end(event_t *fevent);
static  
# 75 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/interfaces/ReceiveMsg.nc"
TOS_MsgPtr CrcFilter$UpperReceive$receive(TOS_MsgPtr arg_0xa58bb98);
static inline  
# 52 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/system/CrcFilter.nc"
TOS_MsgPtr CrcFilter$LowerReceive$receive(TOS_MsgPtr msg);
static  
# 67 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/interfaces/BareSendMsg.nc"
result_t UARTNoCRCPacketM$Send$sendDone(TOS_MsgPtr arg_0xa627290, result_t arg_0xa6273e0);
static inline  
# 55 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/platform/pc/UARTNoCRCPacketM.nc"
result_t UARTNoCRCPacketM$Control$init(void);
static inline  


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


result_t UARTNoCRCPacketM$Control$stop(void);
static inline  


result_t UARTNoCRCPacketM$Send$send(TOS_MsgPtr msg);
#line 79
void   NIDO_uart_send_done(TOS_MsgPtr fmsg, result_t fsuccess);
static   
# 41 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/interfaces/PowerManagement.nc"
uint8_t TimerM$PowerManagement$adjustPower(void);
static   
# 105 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/interfaces/Clock.nc"
void TimerM$Clock$setInterval(uint8_t arg_0xa7452b8);
static   
#line 96
result_t TimerM$Clock$setRate(char arg_0xa7447b8, char arg_0xa7448f8);
static  
# 73 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/interfaces/Timer.nc"
result_t TimerM$Timer$fired(
# 45 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/system/TimerM.nc"
uint8_t arg_0xa72d908);









uint32_t TimerM$mState[1000];
uint8_t TimerM$setIntervalFlag[1000];
uint8_t TimerM$mScale[1000];
#line 57
uint8_t TimerM$mInterval[1000];
int8_t TimerM$queue_head[1000];
int8_t TimerM$queue_tail[1000];
uint8_t TimerM$queue_size[1000];
uint8_t TimerM$queue[1000][NUM_TIMERS];

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

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








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


result_t TimerM$StdControl$stop(void);
static  





result_t TimerM$Timer$start(uint8_t id, char type, 
uint32_t interval);
#line 116
static void TimerM$adjustInterval(void);
static  
#line 140
result_t TimerM$Timer$stop(uint8_t id);
static inline   
#line 154
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);
static inline   
#line 204
result_t TimerM$Clock$fire(void);
static   
# 180 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/interfaces/Clock.nc"
result_t HPLClock$Clock$fire(void);
# 60 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/platform/pc/HPLClock.nc"
char HPLClock$set_flag[1000];
 unsigned char HPLClock$mscale[1000];
 
#line 61
unsigned char HPLClock$nextScale[1000];
 
#line 61
unsigned char HPLClock$minterval[1000];
static inline   
#line 82
void HPLClock$Clock$setInterval(uint8_t value);
static inline   
#line 128
result_t HPLClock$Clock$setRate(char interval, char scale);
static inline 






void  SIG_OUTPUT_COMPARE2_interrupt(void);
# 46 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/platform/pc/HPLPowerManagementM.nc"
enum HPLPowerManagementM$__nesc_unnamed4300 {
  HPLPowerManagementM$IDLE = 0
};
static inline