app.c

tinyos2.0版本驱动

# 60 "/opt/tinyos-2.x/tos/chips/rf230/SlottedCollisionConfig.nc"
static   void RF230ActiveMessageP$SlottedCollisionConfig$default$timerTick(void);
# 31 "/opt/tinyos-2.x/tos/chips/rf230/ActiveMessageConfig.nc"
static  error_t RF230ActiveMessageP$ActiveMessageConfig$checkPacket(message_t *arg_0x1255eb8);
# 74 "/opt/tinyos-2.x/tos/chips/rf230/SoftwareAckConfig.nc"
static   void RF230ActiveMessageP$SoftwareAckConfig$reportChannelError(void);
#line 68
static   void RF230ActiveMessageP$SoftwareAckConfig$createAckPacket(message_t *arg_0x1237b48, message_t *arg_0x1237cf8);
#line 38
static   bool RF230ActiveMessageP$SoftwareAckConfig$requiresAckWait(message_t *arg_0x1239be0);
#line 50
static   bool RF230ActiveMessageP$SoftwareAckConfig$isAckPacket(message_t *arg_0x12387f0);






static   bool RF230ActiveMessageP$SoftwareAckConfig$verifyAckPacket(message_t *arg_0x1238de0, message_t *arg_0x1237010);
#line 32
static   uint16_t RF230ActiveMessageP$SoftwareAckConfig$getAckTimeout(void);










static   void RF230ActiveMessageP$SoftwareAckConfig$setAckReceived(message_t *arg_0x1238140, bool arg_0x12382c8);
#line 63
static   bool RF230ActiveMessageP$SoftwareAckConfig$requiresAckReply(message_t *arg_0x1237610);
# 48 "/opt/tinyos-2.x/tos/chips/rf230/RadioAlarm.nc"
static   void RF230ActiveMessageP$RadioAlarm$fired(void);
# 41 "/opt/tinyos-2.x/tos/chips/rf230/UniqueConfig.nc"
static   void RF230ActiveMessageP$UniqueConfig$setSequenceNumber(message_t *arg_0x1243910, uint8_t arg_0x1243a98);





static   void RF230ActiveMessageP$UniqueConfig$reportChannelError(void);
#line 31
static   uint8_t RF230ActiveMessageP$UniqueConfig$getSequenceNumber(message_t *arg_0x123aed0);




static   am_addr_t RF230ActiveMessageP$UniqueConfig$getSender(message_t *arg_0x1243410);
# 35 "/opt/tinyos-2.x/tos/chips/rf230/RandomCollisionConfig.nc"
static   uint16_t RF230ActiveMessageP$RandomCollisionConfig$getCongestionBackoff(message_t *arg_0x1257d70);
#line 29
static   uint16_t RF230ActiveMessageP$RandomCollisionConfig$getInitialBackoff(message_t *arg_0x1257840);










static   uint16_t RF230ActiveMessageP$RandomCollisionConfig$getMinimumBackoff(void);





static   uint16_t RF230ActiveMessageP$RandomCollisionConfig$getTransmitBarrier(message_t *arg_0x1256700);
# 55 "/opt/tinyos-2.x/tos/chips/rf230/RF230Config.nc"
static   uint8_t RF230ActiveMessageP$RF230Config$getHeaderLength(void);










static   uint8_t RF230ActiveMessageP$RF230Config$getDefaultChannel(void);
#line 46
static   uint8_t *RF230ActiveMessageP$RF230Config$getPayload(message_t *arg_0x1230770);
#line 39
static   void RF230ActiveMessageP$RF230Config$setLength(message_t *arg_0x12300e0, uint8_t arg_0x1230268);
#line 34
static   uint8_t RF230ActiveMessageP$RF230Config$getLength(message_t *arg_0x1233b40);
#line 60
static   uint8_t RF230ActiveMessageP$RF230Config$getMaxLength(void);
#line 72
static   bool RF230ActiveMessageP$RF230Config$requiresRssiCca(message_t *arg_0x123d9b0);
# 40 "/opt/tinyos-2.x/tos/chips/rf230/PacketField.nc"
static   void RF230PacketP$PacketRSSI$clear(message_t *arg_0x1223598);





static   void RF230PacketP$PacketRSSI$set(message_t *arg_0x1223a80, RF230PacketP$PacketRSSI$value_type arg_0x1223c10);
# 54 "/opt/tinyos-2.x/tos/interfaces/Packet.nc"
static  void RF230PacketP$Packet$clear(message_t *arg_0x1170410);
#line 67
static  uint8_t RF230PacketP$Packet$payloadLength(message_t *arg_0x11709c0);
#line 115
static  void *RF230PacketP$Packet$getPayload(message_t *arg_0x117adc8, uint8_t arg_0x1179010);
#line 95
static  uint8_t RF230PacketP$Packet$maxPayloadLength(void);
#line 83
static  void RF230PacketP$Packet$setPayloadLength(message_t *arg_0x117a068, uint8_t arg_0x117a1f0);
# 35 "/opt/tinyos-2.x/tos/chips/rf230/PacketField.nc"
static   RF230PacketP$PacketTransmitPower$value_type RF230PacketP$PacketTransmitPower$get(message_t *arg_0x1223010);
#line 29
static   bool RF230PacketP$PacketTransmitPower$isSet(message_t *arg_0x1225a88);





static   RF230PacketP$PacketTimeSyncOffset$value_type RF230PacketP$PacketTimeSyncOffset$get(message_t *arg_0x1223010);
#line 29
static   bool RF230PacketP$PacketTimeSyncOffset$isSet(message_t *arg_0x1225a88);
# 53 "/opt/tinyos-2.x/tos/interfaces/PacketTimeStamp.nc"
static   void RF230PacketP$PacketTimeStampRadio$clear(message_t *arg_0x12066f8);





static   void RF230PacketP$PacketTimeStampRadio$set(message_t *arg_0x1206be8, RF230PacketP$PacketTimeStampRadio$size_type arg_0x1206d78);
# 46 "/opt/tinyos-2.x/tos/chips/rf230/PacketField.nc"
static   void RF230PacketP$PacketLinkQuality$set(message_t *arg_0x1223a80, RF230PacketP$PacketLinkQuality$value_type arg_0x1223c10);
# 124 "/opt/tinyos-2.x/tos/chips/rf230/IEEE154Packet.nc"
static   uint8_t IEEE154PacketP$IEEE154Packet$getDSN(message_t *arg_0x1262bb0);
#line 79
static   bool IEEE154PacketP$IEEE154Packet$isAckFrame(message_t *arg_0x1266938);
#line 160
static   void IEEE154PacketP$IEEE154Packet$setSrcAddr(message_t *arg_0x126e520, uint16_t arg_0x126e6b0);
#line 73
static   void IEEE154PacketP$IEEE154Packet$createDataFrame(message_t *arg_0x1266388);
#line 129
static   void IEEE154PacketP$IEEE154Packet$setDSN(message_t *arg_0x12600b0, uint8_t arg_0x1260238);
#line 92
static   void IEEE154PacketP$IEEE154Packet$createAckReply(message_t *arg_0x1265468, message_t *arg_0x1265618);
#line 39
static   ieee154_header_t *IEEE154PacketP$IEEE154Packet$getHeader(message_t *arg_0x12590d0);
#line 155
static   uint16_t IEEE154PacketP$IEEE154Packet$getSrcAddr(message_t *arg_0x126e010);
#line 67
static   bool IEEE154PacketP$IEEE154Packet$isDataFrame(message_t *arg_0x1267e30);
#line 184
static   void IEEE154PacketP$IEEE154Packet$setType(message_t *arg_0x126c298, am_id_t arg_0x126c420);
#line 103
static   bool IEEE154PacketP$IEEE154Packet$getAckRequired(message_t *arg_0x1263380);
#line 98
static   bool IEEE154PacketP$IEEE154Packet$verifyAckReply(message_t *arg_0x1265be8, message_t *arg_0x1265d98);
#line 49
static   void IEEE154PacketP$IEEE154Packet$setLength(message_t *arg_0x1259b18, uint8_t arg_0x1259ca0);
#line 190
static   bool IEEE154PacketP$IEEE154Packet$requiresAckWait(message_t *arg_0x126ca20);
#line 150
static   void IEEE154PacketP$IEEE154Packet$setDestAddr(message_t *arg_0x126f898, uint16_t arg_0x126fa28);
#line 44
static   uint8_t IEEE154PacketP$IEEE154Packet$getLength(message_t *arg_0x1259608);
#line 140
static   void IEEE154PacketP$IEEE154Packet$setDestPan(message_t *arg_0x1260c78, uint16_t arg_0x1260e08);
#line 179
static   am_id_t IEEE154PacketP$IEEE154Packet$getType(message_t *arg_0x126ed80);
#line 196
static   bool IEEE154PacketP$IEEE154Packet$requiresAckReply(message_t *arg_0x126b010);
#line 145
static   uint16_t IEEE154PacketP$IEEE154Packet$getDestAddr(message_t *arg_0x126f388);
# 77 "/opt/tinyos-2.x/tos/interfaces/AMPacket.nc"
static  am_addr_t IEEE154PacketP$AMPacket$source(message_t *arg_0x1185010);
#line 57
static  am_addr_t IEEE154PacketP$AMPacket$address(void);









static  am_addr_t IEEE154PacketP$AMPacket$destination(message_t *arg_0x1176940);
#line 110
static  void IEEE154PacketP$AMPacket$setSource(message_t *arg_0x1185e88, am_addr_t arg_0x1183030);
#line 92
static  void IEEE154PacketP$AMPacket$setDestination(message_t *arg_0x11855e8, am_addr_t arg_0x1185778);
#line 136
static  am_id_t IEEE154PacketP$AMPacket$type(message_t *arg_0x1182010);
#line 151
static  void IEEE154PacketP$AMPacket$setType(message_t *arg_0x11825a8, am_id_t arg_0x1182730);
#line 125
static  bool IEEE154PacketP$AMPacket$isForMe(message_t *arg_0x11837e8);
#line 176
static  void IEEE154PacketP$AMPacket$setGroup(message_t *arg_0x1181570, am_group_t arg_0x1181700);







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_0x13e8068);
#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_0x13f66c0);










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_0x13e1438);
#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_0x13d58b8);
#line 58
static   void HplAtm1281Timer1P$Timer$set(HplAtm1281Timer1P$Timer$timer_size arg_0x13d8c48);










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_0x14fa010, /*AlarmCounterMilliP.Atm128AlarmAsyncC.Atm1281AlarmAsyncP*/Atm1281AlarmAsyncP$0$Alarm$size_type arg_0x14fa1a0);
#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_0x1516948);
#line 61
static   void HplAtm1281Timer2AsyncP$TimerCtrl$setControlA(uint8_t arg_0x15164a0);
# 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_0x13f66c0);










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_0x14d4738, uint32_t arg_0x14d48c8);
#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_0x15d8010);
# 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_0x15d8010, 
# 53 "/opt/tinyos-2.x/tos/lib/timer/Timer.nc"
uint32_t arg_0x14d6420);
#line 67
static  void /*HilTimerMilliC.VirtualizeTimerC*/VirtualizeTimerC$0$Timer$stop(
# 37 "/opt/tinyos-2.x/tos/lib/timer/VirtualizeTimerC.nc"
uint8_t arg_0x15d8010);
# 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_0x1616718);
# 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_0x1616718, 
# 38 "/opt/tinyos-2.x/tos/chips/rf230/RadioAlarm.nc"
uint16_t arg_0x1277ba8);




static   void RadioAlarmP$RadioAlarm$cancel(
# 31 "/opt/tinyos-2.x/tos/chips/rf230/RadioAlarmP.nc"
uint8_t arg_0x1616718);
# 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_0x1616718);
# 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_0x1616718);
# 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_0x164b770, error_t arg_0x164b8f8);
# 67 "/opt/tinyos-2.x/tos/interfaces/Receive.nc"
static  message_t *ActiveMessageLayerC$SubReceive$receive(message_t *arg_0x1173120, void *arg_0x11732c0, uint8_t arg_0x1173448);
# 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_0x1617d00, 
# 69 "/opt/tinyos-2.x/tos/interfaces/AMSend.nc"
am_addr_t arg_0x116a7e0, message_t *arg_0x116a990, uint8_t arg_0x116ab18);
# 83 "/opt/tinyos-2.x/tos/interfaces/SplitControl.nc"
static  error_t MessageBufferLayerP$SplitControl$start(void);
# 51 "/opt/tinyos-2.x/tos/inter