app.c

tinyos2.0版本驱动

static   void RF230PacketP$PacketTimeStampRadio$set(message_t *arg_0x123c240, RF230PacketP$PacketTimeStampRadio$size_type arg_0x123c3d0);
# 46 "/opt/tinyos-2.x/tos/chips/rf230/PacketField.nc"
static   void RF230PacketP$PacketLinkQuality$set(message_t *arg_0x125e140, RF230PacketP$PacketLinkQuality$value_type arg_0x125e2d0);
# 124 "/opt/tinyos-2.x/tos/chips/rf230/IEEE154Packet.nc"
static   uint8_t IEEE154PacketP$IEEE154Packet$getDSN(message_t *arg_0x129f598);
#line 79
static   bool IEEE154PacketP$IEEE154Packet$isAckFrame(message_t *arg_0x1293380);
#line 160
static   void IEEE154PacketP$IEEE154Packet$setSrcAddr(message_t *arg_0x129ce10, uint16_t arg_0x129b010);
#line 73
static   void IEEE154PacketP$IEEE154Packet$createDataFrame(message_t *arg_0x1294d90);
#line 129
static   void IEEE154PacketP$IEEE154Packet$setDSN(message_t *arg_0x129fa88, uint8_t arg_0x129fc10);
#line 92
static   void IEEE154PacketP$IEEE154Packet$createAckReply(message_t *arg_0x1293e70, message_t *arg_0x1292030);
#line 39
static   ieee154_header_t *IEEE154PacketP$IEEE154Packet$getHeader(message_t *arg_0x1297a08);
#line 155
static   uint16_t IEEE154PacketP$IEEE154Packet$getSrcAddr(message_t *arg_0x129c900);
#line 67
static   bool IEEE154PacketP$IEEE154Packet$isDataFrame(message_t *arg_0x1294850);
#line 184
static   void IEEE154PacketP$IEEE154Packet$setType(message_t *arg_0x129bbe0, am_id_t arg_0x129bd68);
#line 103
static   bool IEEE154PacketP$IEEE154Packet$getAckRequired(message_t *arg_0x1292d58);
#line 98
static   bool IEEE154PacketP$IEEE154Packet$verifyAckReply(message_t *arg_0x1292600, message_t *arg_0x12927b0);
#line 49
static   void IEEE154PacketP$IEEE154Packet$setLength(message_t *arg_0x1296520, uint8_t arg_0x12966a8);
#line 190
static   bool IEEE154PacketP$IEEE154Packet$requiresAckWait(message_t *arg_0x12993a0);
#line 150
static   void IEEE154PacketP$IEEE154Packet$setDestAddr(message_t *arg_0x129c248, uint16_t arg_0x129c3d8);
#line 44
static   uint8_t IEEE154PacketP$IEEE154Packet$getLength(message_t *arg_0x1296010);
#line 140
static   void IEEE154PacketP$IEEE154Packet$setDestPan(message_t *arg_0x129d670, uint16_t arg_0x129d800);
#line 179
static   am_id_t IEEE154PacketP$IEEE154Packet$getType(message_t *arg_0x129b6e0);
#line 196
static   bool IEEE154PacketP$IEEE154Packet$requiresAckReply(message_t *arg_0x1299908);
#line 145
static   uint16_t IEEE154PacketP$IEEE154Packet$getDestAddr(message_t *arg_0x129dd28);
# 57 "/opt/tinyos-2.x/tos/interfaces/AMPacket.nc"
static  am_addr_t IEEE154PacketP$AMPacket$address(void);









static  am_addr_t IEEE154PacketP$AMPacket$destination(message_t *arg_0x11cbe90);
#line 110
static  void IEEE154PacketP$AMPacket$setSource(message_t *arg_0x11c8358, am_addr_t arg_0x11c84e8);
#line 92
static  void IEEE154PacketP$AMPacket$setDestination(message_t *arg_0x11caa90, am_addr_t arg_0x11cac20);
#line 136
static  am_id_t IEEE154PacketP$AMPacket$type(message_t *arg_0x11c7610);
#line 151
static  void IEEE154PacketP$AMPacket$setType(message_t *arg_0x11c7ba8, am_id_t arg_0x11c7d30);
#line 125
static  bool IEEE154PacketP$AMPacket$isForMe(message_t *arg_0x11c8ca0);
#line 176
static  void IEEE154PacketP$AMPacket$setGroup(message_t *arg_0x11d6c48, am_group_t arg_0x11d6dd8);







static  am_group_t IEEE154PacketP$AMPacket$localGroup(void);
# 44 "/opt/tinyos-2.x/tos/system/ActiveMessageAddressC.nc"
static   am_addr_t ActiveMessageAddressC$amAddress(void);
# 50 "/opt/tinyos-2.x/tos/interfaces/ActiveMessageAddress.nc"
static   am_addr_t ActiveMessageAddressC$ActiveMessageAddress$amAddress(void);




static   am_group_t ActiveMessageAddressC$ActiveMessageAddress$amGroup(void);
# 71 "/opt/tinyos-2.x/tos/chips/atm1281/timer/HplAtm128TimerCtrl16.nc"
static   uint8_t HplAtm1281Timer1P$TimerCtrl$getInterruptFlag(void);
#line 63
static   void HplAtm1281Timer1P$TimerCtrl$setControlB(uint8_t arg_0x1438010);
#line 60
static   uint8_t HplAtm1281Timer1P$TimerCtrl$getControlB(void);
# 53 "/opt/tinyos-2.x/tos/chips/atm128/timer/HplAtm128Compare.nc"
static   void HplAtm1281Timer1P$CompareA$reset(void);
#line 45
static   void HplAtm1281Timer1P$CompareA$set(HplAtm1281Timer1P$CompareA$size_type arg_0x14466a0);










static   void HplAtm1281Timer1P$CompareA$start(void);


static   void HplAtm1281Timer1P$CompareA$stop(void);
# 79 "/opt/tinyos-2.x/tos/chips/atm128/timer/HplAtm128Capture.nc"
static   void HplAtm1281Timer1P$Capture$setEdge(bool arg_0x1431348);
#line 38
static   HplAtm1281Timer1P$Capture$size_type HplAtm1281Timer1P$Capture$get(void);
#line 55
static   void HplAtm1281Timer1P$Capture$reset(void);


static   void HplAtm1281Timer1P$Capture$start(void);


static   void HplAtm1281Timer1P$Capture$stop(void);
# 49 "/opt/tinyos-2.x/tos/chips/atm128/timer/HplAtm128Compare.nc"
static   void HplAtm1281Timer1P$CompareB$default$fired(void);
#line 49
static   void HplAtm1281Timer1P$CompareC$default$fired(void);
# 78 "/opt/tinyos-2.x/tos/chips/atm128/timer/HplAtm128Timer.nc"
static   bool HplAtm1281Timer1P$Timer$test(void);
#line 52
static   HplAtm1281Timer1P$Timer$timer_size HplAtm1281Timer1P$Timer$get(void);
#line 95
static   void HplAtm1281Timer1P$Timer$setScale(uint8_t arg_0x14267e0);
#line 58
static   void HplAtm1281Timer1P$Timer$set(HplAtm1281Timer1P$Timer$timer_size arg_0x1428b70);










static   void HplAtm1281Timer1P$Timer$start(void);
# 51 "/opt/tinyos-2.x/tos/interfaces/Init.nc"
static  error_t /*InitOneP.InitOne*/Atm128TimerInitC$0$Init$init(void);
# 61 "/opt/tinyos-2.x/tos/chips/atm128/timer/HplAtm128Timer.nc"
static   void /*InitOneP.InitOne*/Atm128TimerInitC$0$Timer$overflow(void);
# 53 "/opt/tinyos-2.x/tos/lib/timer/Counter.nc"
static   /*CounterOne16C.NCounter*/Atm128CounterC$0$Counter$size_type /*CounterOne16C.NCounter*/Atm128CounterC$0$Counter$get(void);






static   bool /*CounterOne16C.NCounter*/Atm128CounterC$0$Counter$isOverflowPending(void);
# 61 "/opt/tinyos-2.x/tos/chips/atm128/timer/HplAtm128Timer.nc"
static   void /*CounterOne16C.NCounter*/Atm128CounterC$0$Timer$overflow(void);
# 71 "/opt/tinyos-2.x/tos/lib/timer/Counter.nc"
static   void /*LocalTimeMicroC.TransformCounterC*/TransformCounterC$0$CounterFrom$overflow(void);
#line 53
static   /*LocalTimeMicroC.TransformCounterC*/TransformCounterC$0$Counter$size_type /*LocalTimeMicroC.TransformCounterC*/TransformCounterC$0$Counter$get(void);
# 50 "/opt/tinyos-2.x/tos/lib/timer/LocalTime.nc"
static   uint32_t /*LocalTimeMicroC.CounterToLocalTimeC*/CounterToLocalTimeC$0$LocalTime$get(void);
# 71 "/opt/tinyos-2.x/tos/lib/timer/Counter.nc"
static   void /*LocalTimeMicroC.CounterToLocalTimeC*/CounterToLocalTimeC$0$Counter$overflow(void);
# 98 "/opt/tinyos-2.x/tos/lib/timer/Alarm.nc"
static   /*AlarmCounterMilliP.Atm128AlarmAsyncC.Atm1281AlarmAsyncP*/Atm1281AlarmAsyncP$0$Alarm$size_type /*AlarmCounterMilliP.Atm128AlarmAsyncC.Atm1281AlarmAsyncP*/Atm1281AlarmAsyncP$0$Alarm$getNow(void);
#line 92
static   void /*AlarmCounterMilliP.Atm128AlarmAsyncC.Atm1281AlarmAsyncP*/Atm1281AlarmAsyncP$0$Alarm$startAt(/*AlarmCounterMilliP.Atm128AlarmAsyncC.Atm1281AlarmAsyncP*/Atm1281AlarmAsyncP$0$Alarm$size_type arg_0x1521480, /*AlarmCounterMilliP.Atm128AlarmAsyncC.Atm1281AlarmAsyncP*/Atm1281AlarmAsyncP$0$Alarm$size_type arg_0x1521610);
#line 105
static   /*AlarmCounterMilliP.Atm128AlarmAsyncC.Atm1281AlarmAsyncP*/Atm1281AlarmAsyncP$0$Alarm$size_type /*AlarmCounterMilliP.Atm128AlarmAsyncC.Atm1281AlarmAsyncP*/Atm1281AlarmAsyncP$0$Alarm$getAlarm(void);
#line 62
static   void /*AlarmCounterMilliP.Atm128AlarmAsyncC.Atm1281AlarmAsyncP*/Atm1281AlarmAsyncP$0$Alarm$stop(void);
# 51 "/opt/tinyos-2.x/tos/interfaces/Init.nc"
static  error_t /*AlarmCounterMilliP.Atm128AlarmAsyncC.Atm1281AlarmAsyncP*/Atm1281AlarmAsyncP$0$Init$init(void);
# 53 "/opt/tinyos-2.x/tos/lib/timer/Counter.nc"
static   /*AlarmCounterMilliP.Atm128AlarmAsyncC.Atm1281AlarmAsyncP*/Atm1281AlarmAsyncP$0$Counter$size_type /*AlarmCounterMilliP.Atm128AlarmAsyncC.Atm1281AlarmAsyncP*/Atm1281AlarmAsyncP$0$Counter$get(void);
# 49 "/opt/tinyos-2.x/tos/chips/atm128/timer/HplAtm128Compare.nc"
static   void /*AlarmCounterMilliP.Atm128AlarmAsyncC.Atm1281AlarmAsyncP*/Atm1281AlarmAsyncP$0$Compare$fired(void);
# 61 "/opt/tinyos-2.x/tos/chips/atm128/timer/HplAtm128Timer.nc"
static   void /*AlarmCounterMilliP.Atm128AlarmAsyncC.Atm1281AlarmAsyncP*/Atm1281AlarmAsyncP$0$Timer$overflow(void);
# 69 "/opt/tinyos-2.x/tos/chips/atm1281/timer/HplAtm128TimerCtrl8.nc"
static   uint8_t HplAtm1281Timer2AsyncP$TimerCtrl$getInterruptFlag(void);
#line 62
static   void HplAtm1281Timer2AsyncP$TimerCtrl$setControlB(uint8_t arg_0x155ad30);
#line 61
static   void HplAtm1281Timer2AsyncP$TimerCtrl$setControlA(uint8_t arg_0x155a888);
# 54 "/opt/tinyos-2.x/tos/interfaces/McuPowerOverride.nc"
static   mcu_power_t HplAtm1281Timer2AsyncP$McuPowerOverride$lowestState(void);
# 57 "/opt/tinyos-2.x/tos/chips/atm1281/timer/HplAtm128TimerAsync.nc"
static   void HplAtm1281Timer2AsyncP$TimerAsync$setTimer2Asynchronous(void);
#line 75
static   int HplAtm1281Timer2AsyncP$TimerAsync$compareABusy(void);
# 39 "/opt/tinyos-2.x/tos/chips/atm128/timer/HplAtm128Compare.nc"
static   HplAtm1281Timer2AsyncP$Compare$size_type HplAtm1281Timer2AsyncP$Compare$get(void);





static   void HplAtm1281Timer2AsyncP$Compare$set(HplAtm1281Timer2AsyncP$Compare$size_type arg_0x14466a0);










static   void HplAtm1281Timer2AsyncP$Compare$start(void);
# 52 "/opt/tinyos-2.x/tos/chips/atm128/timer/HplAtm128Timer.nc"
static   HplAtm1281Timer2AsyncP$Timer$timer_size HplAtm1281Timer2AsyncP$Timer$get(void);
# 64 "/opt/tinyos-2.x/tos/interfaces/TaskBasic.nc"
static  void /*HilTimerMilliC.AlarmToTimerC*/AlarmToTimerC$0$fired$runTask(void);
# 67 "/opt/tinyos-2.x/tos/lib/timer/Alarm.nc"
static   void /*HilTimerMilliC.AlarmToTimerC*/AlarmToTimerC$0$Alarm$fired(void);
# 125 "/opt/tinyos-2.x/tos/lib/timer/Timer.nc"
static  uint32_t /*HilTimerMilliC.AlarmToTimerC*/AlarmToTimerC$0$Timer$getNow(void);
#line 118
static  void /*HilTimerMilliC.AlarmToTimerC*/AlarmToTimerC$0$Timer$startOneShotAt(uint32_t arg_0x1176120, uint32_t arg_0x11762b0);
#line 67
static  void /*HilTimerMilliC.AlarmToTimerC*/AlarmToTimerC$0$Timer$stop(void);
# 64 "/opt/tinyos-2.x/tos/interfaces/TaskBasic.nc"
static  void /*HilTimerMilliC.VirtualizeTimerC*/VirtualizeTimerC$0$updateFromTimer$runTask(void);
# 72 "/opt/tinyos-2.x/tos/lib/timer/Timer.nc"
static  void /*HilTimerMilliC.VirtualizeTimerC*/VirtualizeTimerC$0$TimerFrom$fired(void);
#line 72
static  void /*HilTimerMilliC.VirtualizeTimerC*/VirtualizeTimerC$0$Timer$default$fired(
# 37 "/opt/tinyos-2.x/tos/lib/timer/VirtualizeTimerC.nc"
uint8_t arg_0x16043a0);
# 53 "/opt/tinyos-2.x/tos/lib/timer/Timer.nc"
static  void /*HilTimerMilliC.VirtualizeTimerC*/VirtualizeTimerC$0$Timer$startPeriodic(
# 37 "/opt/tinyos-2.x/tos/lib/timer/VirtualizeTimerC.nc"
uint8_t arg_0x16043a0, 
# 53 "/opt/tinyos-2.x/tos/lib/timer/Timer.nc"
uint32_t arg_0x1179dc0);
#line 67
static  void /*HilTimerMilliC.VirtualizeTimerC*/VirtualizeTimerC$0$Timer$stop(
# 37 "/opt/tinyos-2.x/tos/lib/timer/VirtualizeTimerC.nc"
uint8_t arg_0x16043a0);
# 71 "/opt/tinyos-2.x/tos/lib/timer/Counter.nc"
static   void /*HilTimerMilliC.CounterToLocalTimeC*/CounterToLocalTimeC$1$Counter$overflow(void);
# 48 "/opt/tinyos-2.x/tos/chips/rf230/RadioAlarm.nc"
static   void RadioAlarmP$RadioAlarm$default$fired(
# 31 "/opt/tinyos-2.x/tos/chips/rf230/RadioAlarmP.nc"
uint8_t arg_0x1642b38);
# 38 "/opt/tinyos-2.x/tos/chips/rf230/RadioAlarm.nc"
static   void RadioAlarmP$RadioAlarm$wait(
# 31 "/opt/tinyos-2.x/tos/chips/rf230/RadioAlarmP.nc"
uint8_t arg_0x1642b38, 
# 38 "/opt/tinyos-2.x/tos/chips/rf230/RadioAlarm.nc"
uint16_t arg_0x12a44f0);




static   void RadioAlarmP$RadioAlarm$cancel(
# 31 "/opt/tinyos-2.x/tos/chips/rf230/RadioAlarmP.nc"
uint8_t arg_0x1642b38);
# 33 "/opt/tinyos-2.x/tos/chips/rf230/RadioAlarm.nc"
static   bool RadioAlarmP$RadioAlarm$isFree(
# 31 "/opt/tinyos-2.x/tos/chips/rf230/RadioAlarmP.nc"
uint8_t arg_0x1642b38);
# 53 "/opt/tinyos-2.x/tos/chips/rf230/RadioAlarm.nc"
static   uint16_t RadioAlarmP$RadioAlarm$getNow(
# 31 "/opt/tinyos-2.x/tos/chips/rf230/RadioAlarmP.nc"
uint8_t arg_0x1642b38);
# 67 "/opt/tinyos-2.x/tos/lib/timer/Alarm.nc"
static   void RadioAlarmP$Alarm$fired(void);
# 37 "/opt/tinyos-2.x/tos/chips/rf230/Tasklet.nc"
static   void RadioAlarmP$Tasklet$run(void);










static   void TaskletC$Tasklet$schedule(void);
#line 61
static  void TaskletC$Tasklet$suspend(void);






static  void TaskletC$Tasklet$resume(void);
# 89 "/opt/tinyos-2.x/tos/interfaces/Send.nc"
static  void ActiveMessageLayerC$SubSend$sendDone(message_t *arg_0x11e6e18, error_t arg_0x11e4010);
# 67 "/opt/tinyos-2.x/tos/interfaces/Receive.nc"
static  message_t *ActiveMessageLayerC$SubReceive$receive(message_t *arg_0x11663f8, void *arg_0x1166598, uint8_t arg_0x1166720);
# 69 "/opt/tinyos-2.x/tos/interfaces/AMSend.nc"
static  error_t ActiveMessageLayerC$AMSend$send(
# 28 "/opt/tinyos-2.x/tos/chips/rf230/ActiveMessageLayerC.nc"
am_id_t arg_0x1660010, 
# 69 "/opt/tinyos-2.x/tos/interfaces/AMSend.nc"
am_addr_t arg_0x1173ba0, message_t *arg_0x1173d50, uint8_t arg_0x1173ed8);
# 67 "/opt/tinyos-2.x/tos/interfaces/Receive.nc"
static  message_t *ActiveMessageLayerC$Snoop$default$receive(
# 30 "/opt/tinyos-2.x/tos/chips/rf230/ActiveMessageLayerC.nc"
am_id_t arg_0x1660f18, 
# 67 "/opt/tinyos-2.x/tos/interfaces/Receive.nc"
message_t *arg_0x11663f8, void *arg_0x1166598, uint8_t arg_0x1166720);
#line 67
static  message_t *ActiveMessageLayerC$Receive$default$receive(
# 29 "/opt/tinyos-2.x/tos/chips/rf230/ActiveMessageLayerC.nc"
am_id_t arg_0x1660940, 
# 67 "/opt/tinyos-2.x/tos/interfaces/Receive.nc"
message_t *arg_0x11663f8, void *arg_0x1166598, uint8_t arg_0x1166720);
# 83 "/opt/tinyos-2.x/tos/interfaces/SplitControl.nc"
static  error_t MessageBufferLayerP$SplitControl$start(void);
# 51 "/opt/tinyos-2.x/tos/interfaces/Init.nc"
static  error_t MessageBufferLayerP$SoftwareInit$init(void);
# 58 "/opt/tinyos-2.x/tos/chips/rf230/RadioState.nc"
static   void MessageBufferLayerP$RadioState$done(void);
# 64 "/opt/tinyos-2.x/tos/interfaces/Send.nc"
static  error_t MessageBufferLayerP$Send$send(message_t *arg_0x11d7b68, uint8_t arg_0x11d7cf0);
# 42 "/opt/tinyos-2.x/tos/chips/rf230/RadioReceive.nc"
static   message_t *MessageBufferLayerP$RadioReceive$receive(message_t *arg_0x1698a18);
#line 35
static   bool MessageBufferLayerP$RadioReceive$header(message_t *arg_0x1698340);
# 64 "/opt/tinyos-2.x/tos/interfaces/TaskBasic.nc"
static  void MessageBufferLayerP$stateDoneTask$runTask(void);
#line 64
static  void MessageBufferLayerP$sendTask$runTask(void);
#line 64
static  void MessageBufferLayerP$deliverTask$runTask(void);
# 52 "/opt/tinyos-2.x/tos/chips/rf230/RadioSend.nc"
static   void MessageBufferLayerP$RadioSend$ready(void);
#line 45
static   void MessageBufferLayerP$RadioSend$sendDone(error_t arg_0x169b350);
# 37 "/opt/tinyos-2.x/tos/chips/rf230/Tasklet.nc"
static   void MessageBufferLayerP$Tasklet$run(void);
# 89 "/opt/tinyos-2.x/tos/interfaces/Send.nc"
static  void UniqueLayerP$SubSend$sendDone(message_t *arg_0x11e6e18, error_t arg_0x11e4010);
# 42 "/opt/tinyos-2.x/tos/chips/rf230/RadioReceive.nc"
static   message_t *UniqueLayerP$SubReceive$receive(message_t *arg_0x1698a18);
#line 35
static   bool UniqueLayerP$SubReceive$header(message_t *arg_0x1698340);
# 64 "/opt/tinyos-2.x/tos/interfaces/Send.nc"
static  error_t UniqueLayerP$Send$send(message_t *arg_0x11d7b68, uint8_t arg_0x11d7cf0);
# 69 "/opt/tinyos-2.x/tos/chips/rf230/Neighborhood.nc"
static   void UniqueLayerP$Neighborhood$evicted(uint8_t arg_0x170eb20);
# 51 "/opt/tinyos-2.x/tos/interfaces/Init.nc"
static  error_t UniqueLayerP$Init$init(void);
# 51 "/opt/tinyos-2.x/tos/chips/rf230/NeighborhoodFlag.nc"
static   void NeighborhoodP$NeighborhoodFlag$clearAll(
# 32 "/opt/tinyos-2.x/tos/chips/rf230/NeighborhoodP.nc"
uint8_t arg_0x1715188);
# 35 "/opt/tinyos-2.x/tos/chips/rf230/NeighborhoodFlag.nc"
static   bool NeighborhoodP$NeighborhoodFlag$get(
# 32 "/opt/tinyos-2.x/tos/chips/rf230/NeighborhoodP.nc"
uint8_t arg_0x1715188, 
# 35 "/opt/tinyos-2.x/tos/chips/rf230/NeighborhoodFlag.nc"
uint8_t arg_0x170a938);




static   void NeighborhoodP$NeighborhoodFlag$set(
# 32 "/opt/tinyos-2.x/tos/chips/rf230/NeighborhoodP.nc"
uint8_t arg_0x1715188, 
# 40 "/opt/tinyos-2.x/tos/chips/rf230/NeighborhoodFlag.nc"
uint8_t arg_0x170ae10);
# 60 "/opt/tinyos-2.x/tos/chips/rf230/Neighborhood.nc"
static   uint8_t NeighborhoodP$Neighborhood$insertNode(am_addr_t arg_0x170e500);
# 51 "/opt/tinyos-2.x/tos/interfaces/Init.nc"
static  error_t NeighborhoodP$Init$init(void);
# 52 "/opt/tinyos-2.x/tos/chips/rf230/RadioSend.nc"
static   void TrafficMonitorLayerP$SubSend$ready(void);
#line 45
static   void TrafficMonitorLayerP$SubSend$sendDone(error_t arg_0x169b350);
# 50 "/opt/tinyos-2.x/tos/chips/rf230/TrafficMonitorConfig.nc"
static   void TrafficMonitorLayerP$TrafficMonitorConfig$channelError(void);
# 42 "/opt/tinyos-2.x/tos/chips/rf230/RadioReceive.nc"
static   message_t *TrafficMonitorLayerP$SubReceive$receive(message_t *arg_0x1698a18);
#line 35
static   bool TrafficMonitorLayerP$SubReceive$header(message_t *arg_0x1698340);
# 45 "/opt/tinyos-2.x/tos/chips/rf230/RadioState.nc"
static   error_t TrafficMonitorLayerP$RadioState$turnOn(void);
#line 58
static   void TrafficMonitorLayerP$SubState$done(void);
# 69 "/opt/tinyos-2.x/tos/chips/rf230/Neighborhood.nc"
static   void TrafficMonitorLayerP$Neighborhood$evicted(uint8_t arg_0x170eb20);
# 37 "/opt/tinyos-2.x/tos/chips/rf230/Tasklet.nc"
static   void TrafficMonitorLayerP$Tasklet$run(void);
# 37 "/opt/tinyos-2.x/tos/chips/rf230/RadioSend.nc"
static   error_t TrafficMonitorLayerP$RadioSend$send(message_t *arg_0x169cc30);
# 64 "/opt/tinyos-2.x/tos/interfaces/TaskBasic.nc"
static  void TrafficMonitorLayerP$startStopTimer$runTask(void);
# 72 "/opt/tinyos-2.x/tos/lib/timer/Timer.nc"
static  void TrafficMonitorLayerP$Timer$fired(void);
# 52 "/opt/tinyos-2.x/tos/chips/rf230/RadioSend.nc"
static   void RandomCollisionLayerP$SubSend$ready(void);
#line 45
static   void RandomCollisionLayerP$SubSend$sendDone(error_t arg_0x169b350);
# 42 "/opt/tinyos-2.x/tos/chips/rf230/RadioReceive.nc"
static   message_t *RandomCollisionLayerP$SubReceive$receive(message_t *arg_0x1698a18);
#line 35
static   bool RandomCollisionLayerP$SubReceive$header(message_t *arg_0x1698340);
# 48 "/opt/tinyos-2.x/tos/chips/rf230/RadioAlarm.nc"
static   void RandomCollisionLayerP$RadioAlarm$fired(void);
# 37 "/opt/tinyos-2.x/tos/chips/rf230/RadioSend.nc"
static   error_t RandomCollisionLayerP$RadioSend$send(message_t *arg_0x169cc30);
# 64 "/opt/tinyos-2.x/tos/interfaces/TaskBasic.nc"
static  void RandomCollisionLayerP$calcNextRandom$runTask(void);
# 41 "/opt/tinyos-2.x/tos/interfaces/Random.nc"
static   uint16_t RandomMlcgC$Random$rand16(void);
#line 35
static   uint32_t RandomMlcgC$Random$rand32(void);
# 51 "/opt/tinyos-2.x/tos/interfaces/Init.nc"
static  error_t RandomMlcgC$Init$init(void);
# 52 "/opt/tinyos-2.x/tos/chips/rf230/RadioSend.nc"
static   void SoftwareAckLayerP$SubSend$ready(void);
#line 45
static   void SoftwareAckLayerP$SubSend$sendDone(error_t arg_0x169b350);
# 42 "/opt/tinyos-2.x/tos/chips/rf230/RadioReceive.nc"
static   message_t *SoftwareAckLayerP$SubReceive$receive(message_t *arg_0x1698a18);
#line 35
static   bool SoftwareAckLayerP$SubReceive$header(message_t *arg_0x1698340);
# 48 "/opt/tinyos-2.x/tos/chips/rf230/RadioAlarm.nc"
static   void SoftwareAckLayerP$RadioAlarm$fired(void);
# 37 "/opt/tinyos-2.x/tos/chips/rf230/RadioSend.nc"
static   error_t SoftwareAckLayerP$RadioSend$send(message_t *arg_0x169cc30);
# 41 "/opt/tinyos-2.x/tos/chips/rf230/Radio