app.c

This is a helpful document for tinyos learners

#line 118
typedef struct TinySec_Msg {

  uint8_t invalid;
} TinySec_Msg;







enum __nesc_unnamed4261 {

  MSG_HEADER_SIZE = (size_t )& ((struct TOS_Msg *)0)->data - 1, 

  MSG_FOOTER_SIZE = 2, 

  MSG_DATA_SIZE = (size_t )& ((struct TOS_Msg *)0)->strength + sizeof(uint16_t ), 

  DATA_LENGTH = 29, 

  LENGTH_BYTE_NUMBER = (size_t )& ((struct TOS_Msg *)0)->length + 1, 

  TOS_HEADER_SIZE = 5
};

typedef TOS_Msg *TOS_MsgPtr;
# 12 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/byteorder.h"
static __inline int is_host_lsb(void);





static __inline uint16_t toLSB16(uint16_t a);




static __inline uint16_t fromLSB16(uint16_t a);
# 39 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/Timer.h"
enum __nesc_unnamed4262 {
  TIMER_REPEAT = 0, 
  TIMER_ONE_SHOT = 1, 
  NUM_TIMERS = 2U
};
# 31 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/micaz/HPLTimer1.h"
enum __nesc_unnamed4263 {
  TCLK_CPU_OFF = 0, 
  TCLK_CPU_DIV1 = 1, 
  TCLK_CPU_DIV8 = 2, 
  TCLK_CPU_DIV64 = 3, 
  TCLK_CPU_DIV256 = 4, 
  TCLK_CPU_DIV1024 = 5
};
enum __nesc_unnamed4264 {
  TIMER1_DEFAULT_SCALE = TCLK_CPU_DIV64, 
  TIMER1_DEFAULT_INTERVAL = 255
};
# 33 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/mica128/Clock.h"
enum __nesc_unnamed4265 {
  TOS_I1000PS = 32, TOS_S1000PS = 1, 
  TOS_I100PS = 40, TOS_S100PS = 2, 
  TOS_I10PS = 101, TOS_S10PS = 3, 
  TOS_I1024PS = 0, TOS_S1024PS = 3, 
  TOS_I512PS = 1, TOS_S512PS = 3, 
  TOS_I256PS = 3, TOS_S256PS = 3, 
  TOS_I128PS = 7, TOS_S128PS = 3, 
  TOS_I64PS = 15, TOS_S64PS = 3, 
  TOS_I32PS = 31, TOS_S32PS = 3, 
  TOS_I16PS = 63, TOS_S16PS = 3, 
  TOS_I8PS = 127, TOS_S8PS = 3, 
  TOS_I4PS = 255, TOS_S4PS = 3, 
  TOS_I2PS = 15, TOS_S2PS = 7, 
  TOS_I1PS = 31, TOS_S1PS = 7, 
  TOS_I0PS = 0, TOS_S0PS = 0
};
enum __nesc_unnamed4266 {
  DEFAULT_SCALE = 3, DEFAULT_INTERVAL = 127
};
# 31 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/avrmote/crc.h"
uint16_t crcTable[256] __attribute((__progmem__))  = { 
0x0000, 0x1021, 0x2042, 0x3063, 0x4084, 0x50a5, 0x60c6, 0x70e7, 
0x8108, 0x9129, 0xa14a, 0xb16b, 0xc18c, 0xd1ad, 0xe1ce, 0xf1ef, 
0x1231, 0x0210, 0x3273, 0x2252, 0x52b5, 0x4294, 0x72f7, 0x62d6, 
0x9339, 0x8318, 0xb37b, 0xa35a, 0xd3bd, 0xc39c, 0xf3ff, 0xe3de, 
0x2462, 0x3443, 0x0420, 0x1401, 0x64e6, 0x74c7, 0x44a4, 0x5485, 
0xa56a, 0xb54b, 0x8528, 0x9509, 0xe5ee, 0xf5cf, 0xc5ac, 0xd58d, 
0x3653, 0x2672, 0x1611, 0x0630, 0x76d7, 0x66f6, 0x5695, 0x46b4, 
0xb75b, 0xa77a, 0x9719, 0x8738, 0xf7df, 0xe7fe, 0xd79d, 0xc7bc, 
0x48c4, 0x58e5, 0x6886, 0x78a7, 0x0840, 0x1861, 0x2802, 0x3823, 
0xc9cc, 0xd9ed, 0xe98e, 0xf9af, 0x8948, 0x9969, 0xa90a, 0xb92b, 
0x5af5, 0x4ad4, 0x7ab7, 0x6a96, 0x1a71, 0x0a50, 0x3a33, 0x2a12, 
0xdbfd, 0xcbdc, 0xfbbf, 0xeb9e, 0x9b79, 0x8b58, 0xbb3b, 0xab1a, 
0x6ca6, 0x7c87, 0x4ce4, 0x5cc5, 0x2c22, 0x3c03, 0x0c60, 0x1c41, 
0xedae, 0xfd8f, 0xcdec, 0xddcd, 0xad2a, 0xbd0b, 0x8d68, 0x9d49, 
0x7e97, 0x6eb6, 0x5ed5, 0x4ef4, 0x3e13, 0x2e32, 0x1e51, 0x0e70, 
0xff9f, 0xefbe, 0xdfdd, 0xcffc, 0xbf1b, 0xaf3a, 0x9f59, 0x8f78, 
0x9188, 0x81a9, 0xb1ca, 0xa1eb, 0xd10c, 0xc12d, 0xf14e, 0xe16f, 
0x1080, 0x00a1, 0x30c2, 0x20e3, 0x5004, 0x4025, 0x7046, 0x6067, 
0x83b9, 0x9398, 0xa3fb, 0xb3da, 0xc33d, 0xd31c, 0xe37f, 0xf35e, 
0x02b1, 0x1290, 0x22f3, 0x32d2, 0x4235, 0x5214, 0x6277, 0x7256, 
0xb5ea, 0xa5cb, 0x95a8, 0x8589, 0xf56e, 0xe54f, 0xd52c, 0xc50d, 
0x34e2, 0x24c3, 0x14a0, 0x0481, 0x7466, 0x6447, 0x5424, 0x4405, 
0xa7db, 0xb7fa, 0x8799, 0x97b8, 0xe75f, 0xf77e, 0xc71d, 0xd73c, 
0x26d3, 0x36f2, 0x0691, 0x16b0, 0x6657, 0x7676, 0x4615, 0x5634, 
0xd94c, 0xc96d, 0xf90e, 0xe92f, 0x99c8, 0x89e9, 0xb98a, 0xa9ab, 
0x5844, 0x4865, 0x7806, 0x6827, 0x18c0, 0x08e1, 0x3882, 0x28a3, 
0xcb7d, 0xdb5c, 0xeb3f, 0xfb1e, 0x8bf9, 0x9bd8, 0xabbb, 0xbb9a, 
0x4a75, 0x5a54, 0x6a37, 0x7a16, 0x0af1, 0x1ad0, 0x2ab3, 0x3a92, 
0xfd2e, 0xed0f, 0xdd6c, 0xcd4d, 0xbdaa, 0xad8b, 0x9de8, 0x8dc9, 
0x7c26, 0x6c07, 0x5c64, 0x4c45, 0x3ca2, 0x2c83, 0x1ce0, 0x0cc1, 
0xef1f, 0xff3e, 0xcf5d, 0xdf7c, 0xaf9b, 0xbfba, 0x8fd9, 0x9ff8, 
0x6e17, 0x7e36, 0x4e55, 0x5e74, 0x2e93, 0x3eb2, 0x0ed1, 0x1ef0 };


static inline uint16_t crcByte(uint16_t oldCrc, uint8_t byte);
# 78 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/Pot.nc"
static  result_t PotM$Pot$init(uint8_t arg_0x10f0a08);
# 74 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/HPLPot.nc"
static  result_t HPLPotC$Pot$finalise(void);
#line 59
static  result_t HPLPotC$Pot$decrease(void);







static  result_t HPLPotC$Pot$increase(void);
# 52 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/avrmote/HPLInit.nc"
static  result_t HPLInit$init(void);
# 67 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/BareSendMsg.nc"
static  result_t TOSBaseM$UARTSend$sendDone(TOS_MsgPtr arg_0x1123818, result_t arg_0x11239a8);
# 75 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/TokenReceiveMsg.nc"
static  TOS_MsgPtr TOSBaseM$UARTTokenReceive$receive(TOS_MsgPtr arg_0x1133a40, uint8_t arg_0x1133bc8);
# 75 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/ReceiveMsg.nc"
static  TOS_MsgPtr TOSBaseM$RadioReceive$receive(TOS_MsgPtr arg_0x1135170);
# 67 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/BareSendMsg.nc"
static  result_t TOSBaseM$RadioSend$sendDone(TOS_MsgPtr arg_0x1123818, result_t arg_0x11239a8);
# 63 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/StdControl.nc"
static  result_t TOSBaseM$StdControl$init(void);






static  result_t TOSBaseM$StdControl$start(void);
# 75 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/ReceiveMsg.nc"
static  TOS_MsgPtr TOSBaseM$UARTReceive$receive(TOS_MsgPtr arg_0x1135170);
# 70 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/SplitControl.nc"
static  result_t CC2420RadioM$SplitControl$default$initDone(void);
#line 64
static  result_t CC2420RadioM$SplitControl$init(void);
#line 85
static  result_t CC2420RadioM$SplitControl$default$startDone(void);
#line 77
static  result_t CC2420RadioM$SplitControl$start(void);
# 51 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/HPLCC2420Interrupt.nc"
static   result_t CC2420RadioM$FIFOP$fired(void);
# 12 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/TimerJiffyAsync.nc"
static   result_t CC2420RadioM$BackoffTimerJiffy$fired(void);
# 58 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/BareSendMsg.nc"
static  result_t CC2420RadioM$Send$send(TOS_MsgPtr arg_0x1123270);
# 33 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/RadioCoordinator.nc"
static   void CC2420RadioM$RadioReceiveCoordinator$default$startSymbol(uint8_t arg_0x1194498, uint8_t arg_0x1194620, TOS_MsgPtr arg_0x11947b0);
# 53 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/HPLCC2420Capture.nc"
static   result_t CC2420RadioM$SFD$captured(uint16_t arg_0x11b14f0);
# 33 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/RadioCoordinator.nc"
static   void CC2420RadioM$RadioSendCoordinator$default$startSymbol(uint8_t arg_0x1194498, uint8_t arg_0x1194620, TOS_MsgPtr arg_0x11947b0);
# 50 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/HPLCC2420FIFO.nc"
static   result_t CC2420RadioM$HPLChipconFIFO$TXFIFODone(uint8_t arg_0x11a8490, uint8_t *arg_0x11a8638);
#line 39
static   result_t CC2420RadioM$HPLChipconFIFO$RXFIFODone(uint8_t arg_0x11a9c98, uint8_t *arg_0x11a9e40);
# 63 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/StdControl.nc"
static  result_t CC2420RadioM$StdControl$init(void);






static  result_t CC2420RadioM$StdControl$start(void);
# 74 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/MacBackoff.nc"
static   int16_t CC2420RadioM$MacBackoff$default$initialBackoff(TOS_MsgPtr arg_0x1187a38);
static   int16_t CC2420RadioM$MacBackoff$default$congestionBackoff(TOS_MsgPtr arg_0x1187ef8);
# 70 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/SplitControl.nc"
static  result_t CC2420RadioM$CC2420SplitControl$initDone(void);
#line 85
static  result_t CC2420RadioM$CC2420SplitControl$startDone(void);
#line 64
static  result_t CC2420ControlM$SplitControl$init(void);
#line 77
static  result_t CC2420ControlM$SplitControl$start(void);
# 51 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/HPLCC2420Interrupt.nc"
static   result_t CC2420ControlM$CCA$fired(void);
# 49 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/HPLCC2420RAM.nc"
static   result_t CC2420ControlM$HPLChipconRAM$writeDone(uint16_t arg_0x12178f8, uint8_t arg_0x1217a80, uint8_t *arg_0x1217c28);
# 120 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/CC2420Control.nc"
static   result_t CC2420ControlM$CC2420Control$VREFOn(void);
#line 163
static   result_t CC2420ControlM$CC2420Control$RxMode(void);
#line 94
static  result_t CC2420ControlM$CC2420Control$TuneManual(uint16_t arg_0x11769d0);
#line 220
static  result_t CC2420ControlM$CC2420Control$setShortAddress(uint16_t arg_0x1181d78);
#line 134
static   result_t CC2420ControlM$CC2420Control$OscillatorOn(void);
# 61 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/HPLCC2420.nc"
static   uint16_t HPLCC2420M$HPLCC2420$read(uint8_t arg_0x11ac408);
#line 54
static   uint8_t HPLCC2420M$HPLCC2420$write(uint8_t arg_0x11add10, uint16_t arg_0x11adea0);
#line 47
static   uint8_t HPLCC2420M$HPLCC2420$cmd(uint8_t arg_0x11ad800);
# 47 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/HPLCC2420RAM.nc"
static   result_t HPLCC2420M$HPLCC2420RAM$write(uint16_t arg_0x1217090, uint8_t arg_0x1217218, uint8_t *arg_0x12173c0);
# 63 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/StdControl.nc"
static  result_t HPLCC2420M$StdControl$init(void);






static  result_t HPLCC2420M$StdControl$start(void);
# 29 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/HPLCC2420FIFO.nc"
static   result_t HPLCC2420FIFOM$HPLCC2420FIFO$writeTXFIFO(uint8_t arg_0x11a9538, uint8_t *arg_0x11a96e0);
#line 19
static   result_t HPLCC2420FIFOM$HPLCC2420FIFO$readRXFIFO(uint8_t arg_0x11a0c00, uint8_t *arg_0x11a0da8);
# 51 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/HPLCC2420Interrupt.nc"
static   result_t HPLCC2420InterruptM$FIFO$default$fired(void);







static   result_t HPLCC2420InterruptM$FIFOP$disable(void);
#line 43
static   result_t HPLCC2420InterruptM$FIFOP$startWait(bool arg_0x11abf20);
# 73 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/Timer.nc"
static  result_t HPLCC2420InterruptM$CCATimer$fired(void);
#line 73
static  result_t HPLCC2420InterruptM$FIFOTimer$fired(void);
# 72 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/micaz/TimerCapture.nc"
static   void HPLCC2420InterruptM$SFDCapture$captured(uint16_t arg_0x12b6170);
# 43 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/HPLCC2420Interrupt.nc"
static   result_t HPLCC2420InterruptM$CCA$startWait(bool arg_0x11abf20);
# 60 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/HPLCC2420Capture.nc"
static   result_t HPLCC2420InterruptM$SFD$disable(void);
#line 43
static   result_t HPLCC2420InterruptM$SFD$enableCapture(bool arg_0x11b6ef8);
# 93 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/micaz/Clock16.nc"
static   result_t HPLTimer1M$Timer1$setRate(uint16_t arg_0x1306958, char arg_0x1306ad8);
#line 177
static   result_t HPLTimer1M$Timer1$default$fire(void);
# 31 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/micaz/TimerCapture.nc"
static   uint16_t HPLTimer1M$CaptureT1$getEvent(void);
#line 62
static   void HPLTimer1M$CaptureT1$enableEvents(void);
static   void HPLTimer1M$CaptureT1$disableEvents(void);
#line 52
static   void HPLTimer1M$CaptureT1$clearOverflow(void);
#line 47
static   bool HPLTimer1M$CaptureT1$isOverflowPending(void);
#line 40
static   void HPLTimer1M$CaptureT1$setEdge(uint8_t arg_0x12a0168);
# 63 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/StdControl.nc"
static  result_t HPLTimer1M$StdControl$init(void);






static  result_t HPLTimer1M$StdControl$start(void);
# 180 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/Clock.nc"
static   result_t TimerM$Clock$fire(void);
# 63 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/StdControl.nc"
static  result_t TimerM$StdControl$init(void);
# 73 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/Timer.nc"
static  result_t TimerM$Timer$default$fired(
# 49 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/system/TimerM.nc"
uint8_t arg_0x1361e70);
# 59 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/Timer.nc"
static  result_t TimerM$Timer$start(
# 49 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/system/TimerM.nc"
uint8_t arg_0x1361e70, 
# 59 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/Timer.nc"
char arg_0x12c86e0, uint32_t arg_0x12c8878);
# 105 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/Clock.nc"
static   void HPLClock$Clock$setInterval(uint8_t arg_0x1370200);
#line 153
static   uint8_t HPLClock$Clock$readCounter(void);
#line 96
static   result_t HPLClock$Clock$setRate(char arg_0x1371600, char arg_0x1371780);
#line 121
static   uint8_t HPLClock$Clock$getInterval(void);
# 41 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/PowerManagement.nc"
static   uint8_t HPLPowerManagementM$PowerManagement$adjustPower(void);
# 63 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/Random.nc"
static   uint16_t RandomLFSR$Random$rand(void);
#line 57
static   result_t RandomLFSR$Random$init(void);
# 6 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/lib/CC2420Radio/TimerJiffyAsync.nc"
static   result_t TimerJiffyAsyncM$TimerJiffyAsync$setOneShot(uint32_t arg_0x11bc5d0);



static   bool TimerJiffyAsyncM$TimerJiffyAsync$isSet(void);
#line 8
static   result_t TimerJiffyAsyncM$TimerJiffyAsync$stop(void);
# 63 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/StdControl.nc"
static  result_t TimerJiffyAsyncM$StdControl$init(void);






static  result_t TimerJiffyAsyncM$StdControl$start(void);
# 180 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/Clock.nc"
static   result_t TimerJiffyAsyncM$Timer$fire(void);
#line 148
static   result_t HPLTimer2$Timer2$setIntervalAndScale(uint8_t arg_0x13878e8, uint8_t arg_0x1387a70);
#line 168
static   void HPLTimer2$Timer2$intDisable(void);
# 122 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/Leds.nc"
static   result_t LedsC$Leds$yellowOff(void);
#line 114
static   result_t LedsC$Leds$yellowOn(void);
#line 56
static   result_t LedsC$Leds$init(void);
#line 97
static   result_t LedsC$Leds$greenOff(void);
#line 72
static   result_t LedsC$Leds$redOff(void);
#line 106
static   result_t LedsC$Leds$greenToggle(void);
#line 81
static   result_t LedsC$Leds$redToggle(void);
#line 64
static   result_t LedsC$Leds$redOn(void);
#line 89
static   result_t LedsC$Leds$greenOn(void);
# 83 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/ByteComm.nc"
static   result_t FramerM$ByteComm$txDone(void);
#line 75
static   result_t FramerM$ByteComm$txByteReady(bool arg_0x14d2830);
#line 66
static   result_t FramerM$ByteComm$rxByteReady(uint8_t arg_0x14d3ed8, bool arg_0x14d2088, uint16_t arg_0x14d2220);
# 58 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/BareSendMsg.nc"
static  result_t FramerM$BareSendMsg$send(TOS_MsgPtr arg_0x1123270);
# 63 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/StdControl.nc"
static  result_t FramerM$StdControl$init(void);






static  result_t FramerM$StdControl$start(void);
# 88 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/TokenReceiveMsg.nc"
static  result_t FramerM$TokenReceiveMsg$ReflectToken(uint8_t arg_0x1132340);
# 88 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/HPLUART.nc"
static   result_t UARTM$HPLUART$get(uint8_t arg_0x1543168);







static   result_t UARTM$HPLUART$putDone(void);
# 55 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/ByteComm.nc"
static   result_t UARTM$ByteComm$txByte(uint8_t arg_0x14d3988);
# 63 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/StdControl.nc"
static  result_t UARTM$Control$init(void);






static  result_t UARTM$Control$start(void);
# 62 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/HPLUART.nc"
static   result_t HPLUART0M$UART$init(void);
#line 80
static   result_t HPLUART0M$UART$put(uint8_t arg_0x1545ba0);
# 47 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/system/RealMain.nc"
static  result_t RealMain$hardwareInit(void);
# 78 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/Pot.nc"
static  result_t RealMain$Pot$init(uint8_t arg_0x10f0a08);
# 63 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/StdControl.nc"
static  result_t RealMain$StdControl$init(void);






static  result_t RealMain$StdControl$start(void);
# 54 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/system/RealMain.nc"
int main(void)   ;
# 74 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/HPLPot.nc"
static  result_t PotM$HPLPot$finalise(void);
#line 59
static  result_t PotM$HPLPot$decrease(void);







static  result_t PotM$HPLPot$increase(void);
# 91 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/system/PotM.nc"
uint8_t PotM$potSetting;

static inline void PotM$setPot(uint8_t value);
#line 106
static inline  result_t PotM$Pot$init(uint8_t initialSetting);
# 57 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/mica2/HPLPotC.nc"
static inline  result_t HPLPotC$Pot$decrease(void);








static inline  result_t HPLPotC$Pot$increase(void);








static inline  result_t HPLPotC$Pot$finalise(void);
# 57 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/avrmote/HPLInit.nc"
static inline  result_t HPLInit$init(void);
# 58 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/BareSendMsg.nc"
static  result_t TOSBaseM$UARTSend$send(TOS_MsgPtr arg_0x1123270);
# 63 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/StdControl.nc"
static  result_t TOSBaseM$RadioControl$init(void);






static  result_t TOSBaseM$RadioControl$start(void);
# 88 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/TokenReceiveMsg.nc"
static  result_t TOSBaseM$UARTTokenReceive$ReflectToken(uint8_t arg_0x1132340);
# 63 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/StdControl.nc"
static  result_t TOSBaseM$UARTControl$init(void);






static  result_t TOSBaseM$UARTControl$start(void);
# 122 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/Leds.nc"
static   result_t TOSBaseM$Leds$yellowOff(void);
#line 114
static   result_t TOSBaseM$Leds$yellowOn(void);
#line 56
static   result_t TOSBaseM$Leds$init(void);
#line 97
static   result_t TOSBaseM$Leds$greenOff(void);
#line 72
static   result_t TOSBaseM$Leds$redOff(void);
#line 106
static   result_t TOSBaseM$Leds$greenToggle(void);
#line 81
static   result_t TOSBaseM$Leds$redToggle(void);
#line 64
static   result_t TOSBaseM$Leds$redOn(void);
#line 89
static   result_t TOSBaseM$Leds$greenOn(void);
# 58 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/BareSendMsg.nc"
static  result_t TOSBaseM$RadioSend$send(TOS_MsgPtr arg_0x1123270);
# 67 "TOSBaseM.nc"
enum TOSBaseM$__nesc_unnamed4267 {
  TOSBaseM$UART_QUEUE_LEN = 12, 
  TOSBaseM$RADIO_QUEUE_LEN = 12
};

TOS_Msg TOSBaseM$uartQueueBufs[TOSBaseM$UART_QUEUE_LEN];
uint8_t TOSBaseM$uartIn;
#line 73
uint8_t TOSBaseM$uartOut;
bool TOSBaseM$uartBusy;
#line 74
bool TOSBaseM$uartCount;

TOS_Msg TOSBaseM$radioQueueBufs[TOSBaseM$RADIO_QUEUE_LEN];
uint8_t TOSBaseM$radioIn;
#line 77
uint8_t TOSBaseM$radioOut;
uint8_t TOSBaseM$d1;
#line 78
uint8_t TOSBaseM$d2;
bool TOSBaseM$radioBusy;