app.c

tinyos2.0版本驱动

error_t arg_0x1043d18);
# 112 "/opt/tinyos-2.x/tos/interfaces/BlockWrite.nc"
static  void RandRWC$BlockWrite$syncDone(error_t arg_0x104a7c8);
#line 71
static  void RandRWC$BlockWrite$writeDone(storage_addr_t arg_0x1045da0, void *arg_0x104b010, storage_len_t arg_0x104b1a0, 
error_t arg_0x104b338);
#line 91
static  void RandRWC$BlockWrite$eraseDone(error_t arg_0x104bd80);
# 85 "/opt/tinyos-2.x/tos/chips/at45db/At45db.nc"
static  void BlockStorageP$At45db$copyPageDone(error_t arg_0x109cb08);
#line 125
static  void BlockStorageP$At45db$syncDone(error_t arg_0x10a48a8);
#line 143
static  void BlockStorageP$At45db$flushDone(error_t arg_0x10a3840);
#line 69
static  void BlockStorageP$At45db$writeDone(error_t arg_0x109dd38);
#line 105
static  void BlockStorageP$At45db$eraseDone(error_t arg_0x109a970);
#line 183
static  void BlockStorageP$At45db$computeCrcDone(error_t arg_0x10a0ae0, uint16_t arg_0x10a0c70);
#line 162
static  void BlockStorageP$At45db$readDone(error_t arg_0x10a1970);
# 112 "/opt/tinyos-2.x/tos/interfaces/BlockWrite.nc"
static  void BlockStorageP$BlockWrite$default$syncDone(
# 44 "/opt/tinyos-2.x/tos/chips/at45db/BlockStorageP.nc"
uint8_t arg_0x1099b48, 
# 112 "/opt/tinyos-2.x/tos/interfaces/BlockWrite.nc"
error_t arg_0x104a7c8);
#line 71
static  void BlockStorageP$BlockWrite$default$writeDone(
# 44 "/opt/tinyos-2.x/tos/chips/at45db/BlockStorageP.nc"
uint8_t arg_0x1099b48, 
# 71 "/opt/tinyos-2.x/tos/interfaces/BlockWrite.nc"
storage_addr_t arg_0x1045da0, void *arg_0x104b010, storage_len_t arg_0x104b1a0, 
error_t arg_0x104b338);










static  error_t BlockStorageP$BlockWrite$erase(
# 44 "/opt/tinyos-2.x/tos/chips/at45db/BlockStorageP.nc"
uint8_t arg_0x1099b48);
# 91 "/opt/tinyos-2.x/tos/interfaces/BlockWrite.nc"
static  void BlockStorageP$BlockWrite$default$eraseDone(
# 44 "/opt/tinyos-2.x/tos/chips/at45db/BlockStorageP.nc"
uint8_t arg_0x1099b48, 
# 91 "/opt/tinyos-2.x/tos/interfaces/BlockWrite.nc"
error_t arg_0x104bd80);
#line 58
static  error_t BlockStorageP$BlockWrite$write(
# 44 "/opt/tinyos-2.x/tos/chips/at45db/BlockStorageP.nc"
uint8_t arg_0x1099b48, 
# 58 "/opt/tinyos-2.x/tos/interfaces/BlockWrite.nc"
storage_addr_t arg_0x10453a0, void *arg_0x1045540, storage_len_t arg_0x10456d0);
#line 103
static  error_t BlockStorageP$BlockWrite$sync(
# 44 "/opt/tinyos-2.x/tos/chips/at45db/BlockStorageP.nc"
uint8_t arg_0x1099b48);
# 56 "/opt/tinyos-2.x/tos/interfaces/BlockRead.nc"
static  error_t BlockStorageP$BlockRead$read(
# 45 "/opt/tinyos-2.x/tos/chips/at45db/BlockStorageP.nc"
uint8_t arg_0x10985a0, 
# 56 "/opt/tinyos-2.x/tos/interfaces/BlockRead.nc"
storage_addr_t arg_0x103ce78, void *arg_0x1043030, storage_len_t arg_0x10431c0);
#line 95
static  void BlockStorageP$BlockRead$default$computeCrcDone(
# 45 "/opt/tinyos-2.x/tos/chips/at45db/BlockStorageP.nc"
uint8_t arg_0x10985a0, 
# 95 "/opt/tinyos-2.x/tos/interfaces/BlockRead.nc"
storage_addr_t arg_0x1041cc0, storage_len_t arg_0x1041e50, 
uint16_t arg_0x1040010, error_t arg_0x1040198);






static  storage_len_t BlockStorageP$BlockRead$getSize(
# 45 "/opt/tinyos-2.x/tos/chips/at45db/BlockStorageP.nc"
uint8_t arg_0x10985a0);
# 67 "/opt/tinyos-2.x/tos/interfaces/BlockRead.nc"
static  void BlockStorageP$BlockRead$default$readDone(
# 45 "/opt/tinyos-2.x/tos/chips/at45db/BlockStorageP.nc"
uint8_t arg_0x10985a0, 
# 67 "/opt/tinyos-2.x/tos/interfaces/BlockRead.nc"
storage_addr_t arg_0x1043850, void *arg_0x10439f0, storage_len_t arg_0x1043b80, 
error_t arg_0x1043d18);
# 50 "/opt/tinyos-2.x/tos/chips/at45db/At45dbBlockConfig.nc"
static  at45page_t BlockStorageP$BConfig$npages(
# 51 "/opt/tinyos-2.x/tos/chips/at45db/BlockStorageP.nc"
uint8_t arg_0x10b2b20);
# 30 "/opt/tinyos-2.x/tos/chips/at45db/At45dbBlockConfig.nc"
static  int BlockStorageP$BConfig$default$flipped(
# 51 "/opt/tinyos-2.x/tos/chips/at45db/BlockStorageP.nc"
uint8_t arg_0x10b2b20);
# 24 "/opt/tinyos-2.x/tos/chips/at45db/At45dbBlockConfig.nc"
static  int BlockStorageP$BConfig$default$isConfig(
# 51 "/opt/tinyos-2.x/tos/chips/at45db/BlockStorageP.nc"
uint8_t arg_0x10b2b20);
# 37 "/opt/tinyos-2.x/tos/chips/at45db/At45dbBlockConfig.nc"
static  int BlockStorageP$BConfig$default$writeHook(
# 51 "/opt/tinyos-2.x/tos/chips/at45db/BlockStorageP.nc"
uint8_t arg_0x10b2b20);
# 58 "/opt/tinyos-2.x/tos/chips/at45db/At45dbBlockConfig.nc"
static  at45page_t BlockStorageP$BConfig$remap(
# 51 "/opt/tinyos-2.x/tos/chips/at45db/BlockStorageP.nc"
uint8_t arg_0x10b2b20, 
# 58 "/opt/tinyos-2.x/tos/chips/at45db/At45dbBlockConfig.nc"
at45page_t arg_0x10b2540);
# 30 "/opt/tinyos-2.x/tos/chips/at45db/At45dbVolume.nc"
static  at45page_t BlockStorageP$At45dbVolume$default$volumeSize(
# 49 "/opt/tinyos-2.x/tos/chips/at45db/BlockStorageP.nc"
uint8_t arg_0x10a6c70);
# 24 "/opt/tinyos-2.x/tos/chips/at45db/At45dbVolume.nc"
static  at45page_t BlockStorageP$At45dbVolume$default$remap(
# 49 "/opt/tinyos-2.x/tos/chips/at45db/BlockStorageP.nc"
uint8_t arg_0x10a6c70, 
# 24 "/opt/tinyos-2.x/tos/chips/at45db/At45dbVolume.nc"
at45page_t arg_0x10a6388);
# 110 "/opt/tinyos-2.x/tos/interfaces/Resource.nc"
static   error_t BlockStorageP$Resource$default$release(
# 50 "/opt/tinyos-2.x/tos/chips/at45db/BlockStorageP.nc"
uint8_t arg_0x10aba60);
# 78 "/opt/tinyos-2.x/tos/interfaces/Resource.nc"
static   error_t BlockStorageP$Resource$default$request(
# 50 "/opt/tinyos-2.x/tos/chips/at45db/BlockStorageP.nc"
uint8_t arg_0x10aba60);
# 92 "/opt/tinyos-2.x/tos/interfaces/Resource.nc"
static  void BlockStorageP$Resource$granted(
# 50 "/opt/tinyos-2.x/tos/chips/at45db/BlockStorageP.nc"
uint8_t arg_0x10aba60);
# 163 "/opt/tinyos-2.x/tos/chips/at45db/HplAt45db.nc"
static  void At45dbP$HplAt45db$crcDone(uint16_t arg_0x113a628);
#line 79
static  void At45dbP$HplAt45db$flushDone(void);
#line 185
static  void At45dbP$HplAt45db$writeDone(void);
#line 35
static  void At45dbP$HplAt45db$waitIdleDone(void);
#line 47
static  void At45dbP$HplAt45db$waitCompareDone(bool arg_0x1126828);
#line 106
static  void At45dbP$HplAt45db$eraseDone(void);
#line 93
static  void At45dbP$HplAt45db$compareDone(void);
#line 61
static  void At45dbP$HplAt45db$fillDone(void);
#line 141
static  void At45dbP$HplAt45db$readDone(void);
# 155 "/opt/tinyos-2.x/tos/chips/at45db/At45db.nc"
static  void At45dbP$At45db$read(at45page_t arg_0x10a3d88, at45pageoffset_t arg_0x10a3f20, 
void *arg_0x10a10e8, at45pageoffset_t arg_0x10a1280);
#line 100
static  void At45dbP$At45db$erase(at45page_t arg_0x109a068, uint8_t arg_0x109a1f8);
#line 120
static  void At45dbP$At45db$syncAll(void);
#line 62
static  void At45dbP$At45db$write(at45page_t arg_0x109d200, at45pageoffset_t arg_0x109d398, 
void *arg_0x109d548, at45pageoffset_t arg_0x109d6e0);
#line 176
static  void At45dbP$At45db$computeCrc(at45page_t arg_0x10a1ec8, at45pageoffset_t arg_0x10a0088, 
at45pageoffset_t arg_0x10a0230, uint16_t arg_0x10a03c0);
# 64 "/opt/tinyos-2.x/tos/interfaces/TaskBasic.nc"
static  void At45dbP$taskSuccess$runTask(void);
#line 64
static  void At45dbP$taskFail$runTask(void);
# 51 "/opt/tinyos-2.x/tos/interfaces/Init.nc"
static  error_t At45dbP$Init$init(void);
# 41 "/opt/tinyos-2.x/tos/chips/at45db/HplAt45db.nc"
static  void /*HplAt45dbC.HplAt45dbByteC*/HplAt45dbByteC$0$HplAt45db$waitCompare(void);
#line 100
static  void /*HplAt45dbC.HplAt45dbByteC*/HplAt45dbByteC$0$HplAt45db$erase(uint8_t arg_0x1133e60, at45page_t arg_0x1132010);
#line 30
static  void /*HplAt45dbC.HplAt45dbByteC*/HplAt45dbByteC$0$HplAt45db$waitIdle(void);
#line 73
static  void /*HplAt45dbC.HplAt45dbByteC*/HplAt45dbByteC$0$HplAt45db$flush(uint8_t arg_0x1135820, at45page_t arg_0x11359b0);
#line 178
static  void /*HplAt45dbC.HplAt45dbByteC*/HplAt45dbByteC$0$HplAt45db$write(uint8_t arg_0x113ab18, at45page_t arg_0x113aca8, at45pageoffset_t arg_0x113ae40, 
uint8_t *arg_0x1139010, at45pageoffset_t arg_0x11391a8);
#line 87
static  void /*HplAt45dbC.HplAt45dbByteC*/HplAt45dbByteC$0$HplAt45db$compare(uint8_t arg_0x11333a0, at45page_t arg_0x1133530);
#line 157
static  void /*HplAt45dbC.HplAt45dbByteC*/HplAt45dbByteC$0$HplAt45db$crc(uint8_t arg_0x113b6b0, at45page_t arg_0x113b840, at45pageoffset_t arg_0x113b9d8, 
at45pageoffset_t arg_0x113bb80, uint16_t arg_0x113bd10);
#line 119
static  void /*HplAt45dbC.HplAt45dbByteC*/HplAt45dbByteC$0$HplAt45db$readBuffer(uint8_t arg_0x11328b0, at45pageoffset_t arg_0x1132a48, 
uint8_t *arg_0x1132c00, uint16_t arg_0x1132d90);
#line 55
static  void /*HplAt45dbC.HplAt45dbByteC*/HplAt45dbByteC$0$HplAt45db$fill(uint8_t arg_0x1126d68, at45page_t arg_0x1126ef8);
# 35 "/opt/tinyos-2.x/tos/chips/at45db/HplAt45dbByte.nc"
static  void /*HplAt45dbC.HplAt45dbByteC*/HplAt45dbByteC$0$HplAt45dbByte$idle(void);
# 92 "/opt/tinyos-2.x/tos/interfaces/Resource.nc"
static  void /*HplAt45dbC.HplAt45dbByteC*/HplAt45dbByteC$0$Resource$granted(void);
# 42 "/opt/tinyos-2.x/tos/chips/at45db/HplAt45dbByte.nc"
static  bool HplAt45dbIOP$HplAt45dbByte$getCompareStatus(void);
#line 31
static  void HplAt45dbIOP$HplAt45dbByte$waitIdle(void);
#line 47
static  void HplAt45dbIOP$HplAt45dbByte$select(void);




static  void HplAt45dbIOP$HplAt45dbByte$deselect(void);
# 64 "/opt/tinyos-2.x/tos/interfaces/TaskBasic.nc"
static  void HplAt45dbIOP$avail$runTask(void);
# 51 "/opt/tinyos-2.x/tos/interfaces/Init.nc"
static  error_t HplAt45dbIOP$Init$init(void);
# 34 "/opt/tinyos-2.x/tos/interfaces/SpiByte.nc"
static   uint8_t HplAt45dbIOP$FlashSpi$write(uint8_t arg_0x11a8850);
# 31 "/opt/tinyos-2.x/tos/interfaces/GeneralIO.nc"
static   void /*HplAtm128GeneralIOC.PortA.Bit0*/HplAtm128GeneralIOPinP$0$IO$toggle(void);



static   void /*HplAtm128GeneralIOC.PortA.Bit0*/HplAtm128GeneralIOPinP$0$IO$makeOutput(void);
#line 29
static   void /*HplAtm128GeneralIOC.PortA.Bit0*/HplAtm128GeneralIOPinP$0$IO$set(void);





static   void /*HplAtm128GeneralIOC.PortA.Bit1*/HplAtm128GeneralIOPinP$1$IO$makeOutput(void);
#line 29
static   void /*HplAtm128GeneralIOC.PortA.Bit1*/HplAtm128GeneralIOPinP$1$IO$set(void);
static   void /*HplAtm128GeneralIOC.PortA.Bit1*/HplAtm128GeneralIOPinP$1$IO$clr(void);




static   void /*HplAtm128GeneralIOC.PortA.Bit2*/HplAtm128GeneralIOPinP$2$IO$makeOutput(void);
#line 29
static   void /*HplAtm128GeneralIOC.PortA.Bit2*/HplAtm128GeneralIOPinP$2$IO$set(void);
static   void /*HplAtm128GeneralIOC.PortA.Bit2*/HplAtm128GeneralIOPinP$2$IO$clr(void);




static   void /*HplAtm128GeneralIOC.PortA.Bit3*/HplAtm128GeneralIOPinP$3$IO$makeOutput(void);
#line 29
static   void /*HplAtm128GeneralIOC.PortA.Bit3*/HplAtm128GeneralIOPinP$3$IO$set(void);
static   void /*HplAtm128GeneralIOC.PortA.Bit3*/HplAtm128GeneralIOPinP$3$IO$clr(void);


static   void /*HplAtm128GeneralIOC.PortA.Bit4*/HplAtm128GeneralIOPinP$4$IO$makeInput(void);
#line 30
static   void /*HplAtm128GeneralIOC.PortA.Bit4*/HplAtm128GeneralIOPinP$4$IO$clr(void);


static   void /*HplAtm128GeneralIOC.PortD.Bit2*/HplAtm128GeneralIOPinP$26$IO$makeInput(void);
#line 32
static   bool /*HplAtm128GeneralIOC.PortD.Bit2*/HplAtm128GeneralIOPinP$26$IO$get(void);
#line 30
static   void /*HplAtm128GeneralIOC.PortD.Bit2*/HplAtm128GeneralIOPinP$26$IO$clr(void);




static   void /*HplAtm128GeneralIOC.PortD.Bit3*/HplAtm128GeneralIOPinP$27$IO$makeOutput(void);
#line 29
static   void /*HplAtm128GeneralIOC.PortD.Bit3*/HplAtm128GeneralIOPinP$27$IO$set(void);





static   void /*HplAtm128GeneralIOC.PortD.Bit5*/HplAtm128GeneralIOPinP$29$IO$makeOutput(void);
#line 29
static   void /*HplAtm128GeneralIOC.PortD.Bit5*/HplAtm128GeneralIOPinP$29$IO$set(void);
static   void /*HplAtm128GeneralIOC.PortD.Bit5*/HplAtm128GeneralIOPinP$29$IO$clr(void);
# 51 "/opt/tinyos-2.x/tos/interfaces/Init.nc"
static  error_t PlatformP$Init$init(void);
#line 51
static  error_t MotePlatformP$PlatformInit$init(void);
#line 51
static  error_t MeasureClockC$Init$init(void);
# 60 "/opt/tinyos-2.x/tos/chips/atm128/timer/Atm128Calibrate.nc"
static   uint16_t MeasureClockC$Atm128Calibrate$baudrateRegister(uint32_t arg_0x12e5178);
# 55 "/opt/tinyos-2.x/tos/lib/timer/BusyWait.nc"
static   void BusyWaitMicroC$BusyWait$wait(BusyWaitMicroC$BusyWait$size_type arg_0x1145910);
# 55 "/opt/tinyos-2.x/tos/interfaces/ResourceConfigure.nc"
static   void /*HplAt45dbIOC.NoArbiterC*/NoArbiterC$0$ResourceConfigure$default$unconfigure(void);
#line 49
static   void /*HplAt45dbIOC.NoArbiterC*/NoArbiterC$0$ResourceConfigure$default$configure(void);
# 110 "/opt/tinyos-2.x/tos/interfaces/Resource.nc"
static   error_t /*HplAt45dbIOC.NoArbiterC*/NoArbiterC$0$Resource$release(void);
#line 78
static   error_t /*HplAt45dbIOC.NoArbiterC*/NoArbiterC$0$Resource$request(void);
# 64 "/opt/tinyos-2.x/tos/interfaces/TaskBasic.nc"
static  void /*HplAt45dbIOC.NoArbiterC*/NoArbiterC$0$granted$runTask(void);
#line 56
static   error_t SchedulerBasicP$TaskBasic$postTask(
# 45 "/opt/tinyos-2.x/tos/system/SchedulerBasicP.nc"
uint8_t arg_0x10018d0);
# 64 "/opt/tinyos-2.x/tos/interfaces/TaskBasic.nc"
static  void SchedulerBasicP$TaskBasic$default$runTask(
# 45 "/opt/tinyos-2.x/tos/system/SchedulerBasicP.nc"
uint8_t arg_0x10018d0);
# 46 "/opt/tinyos-2.x/tos/interfaces/Scheduler.nc"
static  void SchedulerBasicP$Scheduler$init(void);
#line 61
static  void SchedulerBasicP$Scheduler$taskLoop(void);
#line 54
static  bool SchedulerBasicP$Scheduler$runNextTask(void);
# 54 "/opt/tinyos-2.x/tos/interfaces/McuPowerOverride.nc"
static   mcu_power_t McuSleepC$McuPowerOverride$default$lowestState(void);
# 59 "/opt/tinyos-2.x/tos/interfaces/McuSleep.nc"
static   void McuSleepC$McuSleep$sleep(void);
# 44 "/opt/tinyos-2.x/tos/interfaces/McuPowerState.nc"
static   void McuSleepC$McuPowerState$update(void);
# 51 "/opt/tinyos-2.x/tos/interfaces/Init.nc"
static  error_t /*At45dbC.Arbiter.Queue*/FcfsResourceQueueC$0$Init$init(void);
# 69 "/opt/tinyos-2.x/tos/interfaces/ResourceQueue.nc"
static   error_t /*At45dbC.Arbiter.Queue*/FcfsResourceQueueC$0$FcfsQueue$enqueue(resource_client_id_t arg_0x1370288);
#line 43
static   bool /*At45dbC.Arbiter.Queue*/FcfsResourceQueueC$0$FcfsQueue$isEmpty(void);








static   bool /*At45dbC.Arbiter.Queue*/FcfsResourceQueueC$0$FcfsQueue$isEnqueued(resource_client_id_t arg_0x1372890);







static   resource_client_id_t /*At45dbC.Arbiter.Queue*/FcfsResourceQueueC$0$FcfsQueue$dequeue(void);
# 43 "/opt/tinyos-2.x/tos/interfaces/ResourceRequested.nc"
static   void /*At45dbC.Arbiter.Arbiter*/ArbiterP$0$ResourceRequested$default$requested(
# 55 "/opt/tinyos-2.x/tos/system/ArbiterP.nc"
uint8_t arg_0x1396758);
# 55 "/opt/tinyos-2.x/tos/interfaces/ResourceConfigure.nc"
static   void /*At45dbC.Arbiter.Arbiter*/ArbiterP$0$ResourceConfigure$default$unconfigure(
# 60 "/opt/tinyos-2.x/tos/system/ArbiterP.nc"
uint8_t arg_0x1395910);
# 49 "/opt/tinyos-2.x/tos/interfaces/ResourceConfigure.nc"
static   void /*At45dbC.Arbiter.Arbiter*/ArbiterP$0$ResourceConfigure$default$configure(
# 60 "/opt/tinyos-2.x/tos/system/ArbiterP.nc"
uint8_t arg_0x1395910);
# 56 "/opt/tinyos-2.x/tos/interfaces/ResourceDefaultOwner.nc"
static   error_t /*At45dbC.Arbiter.Arbiter*/ArbiterP$0$ResourceDefaultOwner$release(void);
#line 73
static   void /*At45dbC.Arbiter.Arbiter*/ArbiterP$0$ResourceDefaultOwner$default$requested(void);
#line 46
static   void /*At45dbC.Arbiter.Arbiter*/ArbiterP$0$ResourceDefaultOwner$default$granted(void);
# 110 "/opt/tinyos-2.x/tos/interfaces/Resource.nc"
static   error_t /*At45dbC.Arbiter.Arbiter*/ArbiterP$0$Resource$release(
# 54 "/opt/tinyos-2.x/tos/system/ArbiterP.nc"
uint8_t arg_0x1397e08);
# 78 "/opt/tinyos-2.x/tos/interfaces/Resource.nc"
static   error_t /*At45dbC.Arbiter.Arbiter*/ArbiterP$0$Resource$request(
# 54 "/opt/tinyos-2.x/tos/system/ArbiterP.nc"
uint8_t arg_0x1397e08);
# 92 "/opt/tinyos-2.x/tos/interfaces/Resource.nc"
static  void /*At45dbC.Arbiter.Arbiter*/ArbiterP$0$Resource$default$granted(
# 54 "/opt/tinyos-2.x/tos/system/ArbiterP.nc"
uint8_t arg_0x1397e08);
# 64 "/opt/tinyos-2.x/tos/interfaces/TaskBasic.nc"
static  void /*At45dbC.Arbiter.Arbiter*/ArbiterP$0$grantedTask$runTask(void);
# 30 "/opt/tinyos-2.x/tos/chips/at45db/At45dbVolume.nc"
static  at45page_t At45dbStorageManagerC$At45dbVolume$volumeSize(
# 18 "/opt/tinyos-2.x/tos/chips/at45db/At45dbStorageManagerC.nc"
volume_id_t arg_0x13d5428);
# 24 "/opt/tinyos-2.x/tos/chips/at45db/At45dbVolume.nc"
static  at45page_t At45dbStorageManagerC$At45dbVolume$remap(
# 18 "/opt/tinyos-2.x/tos/chips/at45db/At45dbStorageManagerC.nc"
volume_id_t arg_0x13d5428, 
# 24 "/opt/tinyos-2.x/tos/chips/at45db/At45dbVolume.nc"
at45page_t arg_0x10a6388);
# 51 "/opt/tinyos-2.x/tos/interfaces/Init.nc"
static  error_t LedsP$Init$init(void);
# 61 "/opt/tinyos-2.x/tos/interfaces/Leds.nc"
static   void LedsP$Leds$led1On(void);
#line 89
static   void LedsP$Leds$led2Toggle(void);
#line 45
static   void LedsP$Leds$led0On(void);
# 89 "/opt/tinyos-2.x/tos/interfaces/Send.nc"
static  void /*SerialActiveMessageC.AM*/SerialActiveMessageP$0$SubSend$sendDone(message_t *arg_0x1459010, error_t arg_0x1459198);
# 67 "/opt/tinyos-2.x/tos/interfaces/Receive.nc"
static  message_t */*SerialActiveMessageC.AM*/SerialActiveMessageP$0$SubReceive$receive(message_t *arg_0x1411398, void *arg_0x1411538, uint8_t arg_0x14116c0);
# 69 "/opt/tinyos-2.x/tos/interfaces/AMSend.nc"
static  error_t /*SerialActiveMessageC.AM*/SerialActiveMessageP$0$AMSend$send(
# 36 "/opt/tinyos-2.x/tos/lib/serial/SerialActiveMessageP.nc"
am_id_t arg_0x14483a0, 
# 69 "/opt/tinyos-2.x/tos/interfaces/AMSend.nc"
am_addr_t arg_0x105f888, message_t *arg_0x105fa38, uint8_t arg_0x105fbc0);
#line 124
static  void */*SerialActiveMessageC.AM*/SerialActiveMessageP$0$AMSend$getPayload(
# 36 "/opt/tinyos-2.x/tos/lib/serial/SerialActiveMessageP.nc"
am_id_t arg_0x14483a0, 
# 124 "/opt/tinyos-2.x/tos/interfaces/AMSend.nc"
message_t *arg_0x105db48, uint8_t arg_0x105dcd0);
#line 99
static  void /*SerialActiveMessageC.AM*/SerialActiveMessageP$0$AMSend$default$sendDone(
# 36 "/opt/tinyos-2.x/tos/lib/serial/SerialActiveMessageP.nc"
am_id_t arg_0x14483a0, 
# 99 "/opt/tinyos-2.x/tos/interfaces/AMSend.nc"
message_t *arg_0x105eed8, error_t arg_0x105d088);
# 115 "/opt/tinyos-2.x/tos/interfaces/Packet.nc"
static  void */*SerialActiveMessageC.AM*/SerialActiveMessageP$0$Packet$getPayload(message_t *arg_0x14250d0, uint8_t arg_0x1425258);
#line 95
static  uint8_t /*SerialActiveMessageC.AM*/SerialActiveMessageP$0$Packet$maxPayloadLength(void);
# 67 "/opt/tinyos-2.x/tos/interfaces/Receive.nc"
static  message_t */*SerialActiveMessageC.AM*/SerialActiveMessageP$0$Receive$default$receive(
# 37 "/opt/tinyos-2.x/tos/lib/serial/SerialActiveMessageP.nc"
am_id_t arg_0x1448cd0, 
# 67 "/opt/tinyos-2.x/tos/interfaces/Receive.nc"
message_t *arg_0x1411398, void *arg_0x1411538, uint8_t arg_0x14116c0);
# 136 "/opt/tinyos-2.x/tos/interfaces/AMPacket.nc"
static  am_id_t /*SerialActiveMessageC.AM*/SerialActiveMessageP$0$AMPacket$type(message_t *arg_0x14380b0);
# 83 "/opt/tinyos-2.x/tos/interfaces/SplitControl.nc"
static  error_t SerialP$SplitControl$start(void);
# 64 "/opt/tinyos-2.x/tos/interfaces/TaskBasic.nc"
static  void SerialP$stopDoneTask$runTask(void);
#line 64
static  void SerialP$RunTx$runTask(void);
# 51 "/opt/tinyos-2.x/tos/interfaces/Init.nc"
static  error_t SerialP$Init$init(void);
# 43 "/opt/tinyos-2.x/tos/lib/serial/SerialFlush.nc"
static  void SerialP$SerialFlush$flushDone(void);
#line 38
static  void SerialP$SerialFlush$default$flush(void);
# 64 "/opt/tinyos-2.x/tos/interfaces/TaskBasic.nc"
static  void SerialP$startDoneTask$runTask(void);
# 83 "/opt/tinyos-2.x/tos/lib/serial/SerialFrameComm.nc"
static   void SerialP$SerialFrameComm$dataReceived(uint8_t arg_0x14b30f8);





static   void SerialP$SerialFrameComm$putDone(void);
#line 74
static   void SerialP$SerialFrameComm$delimiterReceived(void);
# 64 "/opt/tinyos-2.x/tos/interfaces/TaskBasic.nc"
static  void SerialP$defaultSerialFlushTask$runTask(void);
# 60 "/opt/tinyos-2.x/tos/lib/serial/SendBytePacket.nc"