app.c

tinyos2.0版本驱动

static   error_t SerialP$SendBytePacket$completeSend(void);
#line 51
static   error_t SerialP$SendBytePacket$startSend(uint8_t arg_0x14a2980);
# 64 "/opt/tinyos-2.x/tos/interfaces/TaskBasic.nc"
static  void /*SerialDispatcherC.SerialDispatcherP*/SerialDispatcherP$0$receiveTask$runTask(void);
# 64 "/opt/tinyos-2.x/tos/interfaces/Send.nc"
static  error_t /*SerialDispatcherC.SerialDispatcherP*/SerialDispatcherP$0$Send$send(
# 40 "/opt/tinyos-2.x/tos/lib/serial/SerialDispatcherP.nc"
uart_id_t arg_0x1547a60, 
# 64 "/opt/tinyos-2.x/tos/interfaces/Send.nc"
message_t *arg_0x1442ef8, uint8_t arg_0x1441090);
#line 89
static  void /*SerialDispatcherC.SerialDispatcherP*/SerialDispatcherP$0$Send$default$sendDone(
# 40 "/opt/tinyos-2.x/tos/lib/serial/SerialDispatcherP.nc"
uart_id_t arg_0x1547a60, 
# 89 "/opt/tinyos-2.x/tos/interfaces/Send.nc"
message_t *arg_0x1459010, error_t arg_0x1459198);
# 64 "/opt/tinyos-2.x/tos/interfaces/TaskBasic.nc"
static  void /*SerialDispatcherC.SerialDispatcherP*/SerialDispatcherP$0$signalSendDone$runTask(void);
# 67 "/opt/tinyos-2.x/tos/interfaces/Receive.nc"
static  message_t */*SerialDispatcherC.SerialDispatcherP*/SerialDispatcherP$0$Receive$default$receive(
# 39 "/opt/tinyos-2.x/tos/lib/serial/SerialDispatcherP.nc"
uart_id_t arg_0x15474a8, 
# 67 "/opt/tinyos-2.x/tos/interfaces/Receive.nc"
message_t *arg_0x1411398, void *arg_0x1411538, uint8_t arg_0x14116c0);
# 31 "/opt/tinyos-2.x/tos/lib/serial/SerialPacketInfo.nc"
static   uint8_t /*SerialDispatcherC.SerialDispatcherP*/SerialDispatcherP$0$PacketInfo$default$upperLength(
# 43 "/opt/tinyos-2.x/tos/lib/serial/SerialDispatcherP.nc"
uart_id_t arg_0x1545460, 
# 31 "/opt/tinyos-2.x/tos/lib/serial/SerialPacketInfo.nc"
message_t *arg_0x14aa010, uint8_t arg_0x14aa1a0);
#line 15
static   uint8_t /*SerialDispatcherC.SerialDispatcherP*/SerialDispatcherP$0$PacketInfo$default$offset(
# 43 "/opt/tinyos-2.x/tos/lib/serial/SerialDispatcherP.nc"
uart_id_t arg_0x1545460);
# 23 "/opt/tinyos-2.x/tos/lib/serial/SerialPacketInfo.nc"
static   uint8_t /*SerialDispatcherC.SerialDispatcherP*/SerialDispatcherP$0$PacketInfo$default$dataLinkLength(
# 43 "/opt/tinyos-2.x/tos/lib/serial/SerialDispatcherP.nc"
uart_id_t arg_0x1545460, 
# 23 "/opt/tinyos-2.x/tos/lib/serial/SerialPacketInfo.nc"
message_t *arg_0x14917c0, uint8_t arg_0x1491950);
# 70 "/opt/tinyos-2.x/tos/lib/serial/SendBytePacket.nc"
static   uint8_t /*SerialDispatcherC.SerialDispatcherP*/SerialDispatcherP$0$SendBytePacket$nextByte(void);









static   void /*SerialDispatcherC.SerialDispatcherP*/SerialDispatcherP$0$SendBytePacket$sendCompleted(error_t arg_0x14a19d8);
# 51 "/opt/tinyos-2.x/tos/lib/serial/ReceiveBytePacket.nc"
static   error_t /*SerialDispatcherC.SerialDispatcherP*/SerialDispatcherP$0$ReceiveBytePacket$startPacket(void);






static   void /*SerialDispatcherC.SerialDispatcherP*/SerialDispatcherP$0$ReceiveBytePacket$byteReceived(uint8_t arg_0x14b89f0);










static   void /*SerialDispatcherC.SerialDispatcherP*/SerialDispatcherP$0$ReceiveBytePacket$endPacket(error_t arg_0x14b7010);
# 79 "/opt/tinyos-2.x/tos/interfaces/UartStream.nc"
static   void HdlcTranslateC$UartStream$receivedByte(uint8_t arg_0x1595d78);
#line 99
static   void HdlcTranslateC$UartStream$receiveDone(uint8_t *arg_0x1593b20, uint16_t arg_0x1593cb0, error_t arg_0x1593e38);
#line 57
static   void HdlcTranslateC$UartStream$sendDone(uint8_t *arg_0x1596c78, uint16_t arg_0x1596e08, error_t arg_0x1595010);
# 45 "/opt/tinyos-2.x/tos/lib/serial/SerialFrameComm.nc"
static   error_t HdlcTranslateC$SerialFrameComm$putDelimiter(void);
#line 68
static   void HdlcTranslateC$SerialFrameComm$resetReceive(void);
#line 54
static   error_t HdlcTranslateC$SerialFrameComm$putData(uint8_t arg_0x14b5e80);
# 51 "/opt/tinyos-2.x/tos/interfaces/Init.nc"
static  error_t /*Atm128Uart0C.UartP*/Atm128UartP$0$Init$init(void);
# 48 "/opt/tinyos-2.x/tos/interfaces/UartStream.nc"
static   error_t /*Atm128Uart0C.UartP*/Atm128UartP$0$UartStream$send(uint8_t *arg_0x15964c8, uint16_t arg_0x1596658);
# 71 "/opt/tinyos-2.x/tos/lib/timer/Counter.nc"
static   void /*Atm128Uart0C.UartP*/Atm128UartP$0$Counter$overflow(void);
# 49 "/opt/tinyos-2.x/tos/chips/atm128/HplAtm128Uart.nc"
static   void /*Atm128Uart0C.UartP*/Atm128UartP$0$HplUart$rxDone(uint8_t arg_0x15da478);
#line 47
static   void /*Atm128Uart0C.UartP*/Atm128UartP$0$HplUart$txDone(void);
# 74 "/opt/tinyos-2.x/tos/interfaces/StdControl.nc"
static  error_t /*Atm128Uart0C.UartP*/Atm128UartP$0$StdControl$start(void);









static  error_t /*Atm128Uart0C.UartP*/Atm128UartP$0$StdControl$stop(void);
# 51 "/opt/tinyos-2.x/tos/interfaces/Init.nc"
static  error_t HplAtm128UartP$Uart0Init$init(void);
# 42 "/opt/tinyos-2.x/tos/chips/atm128/HplAtm128Uart.nc"
static   error_t HplAtm128UartP$HplUart0$enableRxIntr(void);
#line 40
static   error_t HplAtm128UartP$HplUart0$enableTxIntr(void);
static   error_t HplAtm128UartP$HplUart0$disableTxIntr(void);

static   error_t HplAtm128UartP$HplUart0$disableRxIntr(void);


static   void HplAtm128UartP$HplUart0$tx(uint8_t arg_0x15db988);
# 51 "/opt/tinyos-2.x/tos/interfaces/Init.nc"
static  error_t HplAtm128UartP$Uart1Init$init(void);
# 49 "/opt/tinyos-2.x/tos/chips/atm128/HplAtm128Uart.nc"
static   void HplAtm128UartP$HplUart1$default$rxDone(uint8_t arg_0x15da478);
#line 47
static   void HplAtm128UartP$HplUart1$default$txDone(void);
# 74 "/opt/tinyos-2.x/tos/interfaces/StdControl.nc"
static  error_t HplAtm128UartP$Uart0RxControl$start(void);









static  error_t HplAtm128UartP$Uart0RxControl$stop(void);
#line 74
static  error_t HplAtm128UartP$Uart0TxControl$start(void);









static  error_t HplAtm128UartP$Uart0TxControl$stop(void);
# 63 "/opt/tinyos-2.x/tos/chips/atm1281/timer/HplAtm128TimerCtrl16.nc"
static   void HplAtm1281Timer3P$TimerCtrl$setControlB(uint8_t arg_0x167d010);
#line 60
static   uint8_t HplAtm1281Timer3P$TimerCtrl$getControlB(void);
# 49 "/opt/tinyos-2.x/tos/chips/atm128/timer/HplAtm128Compare.nc"
static   void HplAtm1281Timer3P$CompareA$default$fired(void);
# 51 "/opt/tinyos-2.x/tos/chips/atm128/timer/HplAtm128Capture.nc"
static   void HplAtm1281Timer3P$Capture$default$captured(HplAtm1281Timer3P$Capture$size_type arg_0x1679cf0);
# 49 "/opt/tinyos-2.x/tos/chips/atm128/timer/HplAtm128Compare.nc"
static   void HplAtm1281Timer3P$CompareB$default$fired(void);
#line 49
static   void HplAtm1281Timer3P$CompareC$default$fired(void);
# 52 "/opt/tinyos-2.x/tos/chips/atm128/timer/HplAtm128Timer.nc"
static   HplAtm1281Timer3P$Timer$timer_size HplAtm1281Timer3P$Timer$get(void);
#line 95
static   void HplAtm1281Timer3P$Timer$setScale(uint8_t arg_0x16677e0);
#line 58
static   void HplAtm1281Timer3P$Timer$set(HplAtm1281Timer3P$Timer$timer_size arg_0x166ab70);










static   void HplAtm1281Timer3P$Timer$start(void);
# 51 "/opt/tinyos-2.x/tos/interfaces/Init.nc"
static  error_t /*InitThreeP.InitThree*/Atm128TimerInitC$0$Init$init(void);
# 61 "/opt/tinyos-2.x/tos/chips/atm128/timer/HplAtm128Timer.nc"
static   void /*InitThreeP.InitThree*/Atm128TimerInitC$0$Timer$overflow(void);
#line 61
static   void /*CounterThree16C.NCounter*/Atm128CounterC$0$Timer$overflow(void);
# 71 "/opt/tinyos-2.x/tos/lib/timer/Counter.nc"
static   void /*CounterMicro32C.Transform32*/TransformCounterC$0$CounterFrom$overflow(void);
# 31 "/opt/tinyos-2.x/tos/lib/serial/SerialPacketInfo.nc"
static   uint8_t SerialPacketInfoActiveMessageP$Info$upperLength(message_t *arg_0x14aa010, uint8_t arg_0x14aa1a0);
#line 15
static   uint8_t SerialPacketInfoActiveMessageP$Info$offset(void);







static   uint8_t SerialPacketInfoActiveMessageP$Info$dataLinkLength(message_t *arg_0x14917c0, uint8_t arg_0x1491950);
# 69 "/opt/tinyos-2.x/tos/interfaces/AMSend.nc"
static  error_t RandRWC$AMSend$send(am_addr_t arg_0x105f888, message_t *arg_0x105fa38, uint8_t arg_0x105fbc0);
#line 124
static  void *RandRWC$AMSend$getPayload(message_t *arg_0x105db48, uint8_t arg_0x105dcd0);
# 83 "/opt/tinyos-2.x/tos/interfaces/SplitControl.nc"
static  error_t RandRWC$SerialControl$start(void);
# 56 "/opt/tinyos-2.x/tos/interfaces/BlockRead.nc"
static  error_t RandRWC$BlockRead$read(storage_addr_t arg_0x103ce78, void *arg_0x1043030, storage_len_t arg_0x10431c0);
# 83 "/opt/tinyos-2.x/tos/interfaces/BlockWrite.nc"
static  error_t RandRWC$BlockWrite$erase(void);
#line 58
static  error_t RandRWC$BlockWrite$write(storage_addr_t arg_0x10453a0, void *arg_0x1045540, storage_len_t arg_0x10456d0);
#line 103
static  error_t RandRWC$BlockWrite$sync(void);
# 61 "/opt/tinyos-2.x/tos/interfaces/Leds.nc"
static   void RandRWC$Leds$led1On(void);
#line 89
static   void RandRWC$Leds$led2Toggle(void);
#line 45
static   void RandRWC$Leds$led0On(void);
# 27 "RandRWC.nc"
enum RandRWC$__nesc_unnamed4327 {
  RandRWC$SIZE = 1024L * 256, 
  RandRWC$NWRITES = RandRWC$SIZE / 4096
};

uint16_t RandRWC$shiftReg;
uint16_t RandRWC$initSeed;
uint16_t RandRWC$mask;


static uint16_t RandRWC$rand(void);
#line 53
static void RandRWC$resetSeed(void);





uint8_t RandRWC$data[512];
#line 59
uint8_t RandRWC$rdata[512];
int RandRWC$count;
#line 60
int RandRWC$testCount;
uint32_t RandRWC$addr;
#line 61
uint32_t RandRWC$len;
uint16_t RandRWC$offset;
message_t RandRWC$reportmsg;

static void RandRWC$done(void);

static void RandRWC$report(error_t e);







static inline  void RandRWC$AMSend$sendDone(message_t *msg, error_t error);




static inline void RandRWC$fail(error_t e);




static inline void RandRWC$success(void);




static bool RandRWC$scheck(error_t r) __attribute((noinline)) ;





static inline bool RandRWC$bcheck(bool b);





static void RandRWC$setParameters(void);









static inline  void RandRWC$Boot$booted(void);




static inline  void RandRWC$SerialControl$stopDone(error_t e);

static inline  void RandRWC$SerialControl$startDone(error_t e);
#line 135
static void RandRWC$nextRead(void);









static void RandRWC$nextWrite(void);
#line 158
static inline  void RandRWC$BlockWrite$writeDone(storage_addr_t x, void *buf, storage_len_t y, error_t result);




static inline  void RandRWC$BlockWrite$eraseDone(error_t result);







static inline  void RandRWC$BlockWrite$syncDone(error_t result);




static  void RandRWC$BlockRead$readDone(storage_addr_t x, void *buf, storage_len_t rlen, error_t result) __attribute((noinline)) ;





static inline  void RandRWC$BlockRead$computeCrcDone(storage_addr_t x, storage_len_t y, uint16_t z, error_t result);


enum RandRWC$__nesc_unnamed4328 {
#line 185
  RandRWC$A_READ = 2, RandRWC$A_WRITE
};
static void RandRWC$doAction(int act);
#line 202
const uint8_t RandRWC$actions[2] = { 
RandRWC$A_WRITE, 
RandRWC$A_READ };


static void RandRWC$done(void);
# 155 "/opt/tinyos-2.x/tos/chips/at45db/At45db.nc"
static  void BlockStorageP$At45db$read(at45page_t arg_0x10a3d88, at45pageoffset_t arg_0x10a3f20, 
void *arg_0x10a10e8, at45pageoffset_t arg_0x10a1280);
#line 100
static  void BlockStorageP$At45db$erase(at45page_t arg_0x109a068, uint8_t arg_0x109a1f8);
#line 120
static  void BlockStorageP$At45db$syncAll(void);
#line 62
static  void BlockStorageP$At45db$write(at45page_t arg_0x109d200, at45pageoffset_t arg_0x109d398, 
void *arg_0x109d548, at45pageoffset_t arg_0x109d6e0);
#line 176
static  void BlockStorageP$At45db$computeCrc(at45page_t arg_0x10a1ec8, at45pageoffset_t arg_0x10a0088, 
at45pageoffset_t arg_0x10a0230, uint16_t arg_0x10a03c0);
# 112 "/opt/tinyos-2.x/tos/interfaces/BlockWrite.nc"
static  void BlockStorageP$BlockWrite$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$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);
#line 91
static  void BlockStorageP$BlockWrite$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);
# 95 "/opt/tinyos-2.x/tos/interfaces/BlockRead.nc"
static  void BlockStorageP$BlockRead$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);
#line 67
static  void BlockStorageP$BlockRead$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);
# 30 "/opt/tinyos-2.x/tos/chips/at45db/At45dbBlockConfig.nc"
static  int BlockStorageP$BConfig$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$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$writeHook(
# 51 "/opt/tinyos-2.x/tos/chips/at45db/BlockStorageP.nc"
uint8_t arg_0x10b2b20);
# 30 "/opt/tinyos-2.x/tos/chips/at45db/At45dbVolume.nc"
static  at45page_t BlockStorageP$At45dbVolume$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$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$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$request(
# 50 "/opt/tinyos-2.x/tos/chips/at45db/BlockStorageP.nc"
uint8_t arg_0x10aba60);
#line 76
enum BlockStorageP$__nesc_unnamed4329 {
  BlockStorageP$R_IDLE, 
  BlockStorageP$R_WRITE, 
  BlockStorageP$R_ERASE, 
  BlockStorageP$R_SYNC, 
  BlockStorageP$R_READ, 
  BlockStorageP$R_CRC
};

enum BlockStorageP$__nesc_unnamed4330 {
  BlockStorageP$N = 1U + 0U, 
  BlockStorageP$NO_CLIENT = 0xff
};

uint8_t BlockStorageP$client = BlockStorageP$NO_CLIENT;
s