app.c

tinyos的硬件闪灯例子代码

#define dbg(mode, format, ...) ((void)0)
#define dbg_clear(mode, format, ...) ((void)0)
#define dbg_active(mode) 0
# 60 "/usr/local/avr/include/inttypes.h"
typedef signed char int8_t;




typedef unsigned char uint8_t;
# 83 "/usr/local/avr/include/inttypes.h" 3
typedef int int16_t;




typedef unsigned int uint16_t;










typedef long int32_t;




typedef unsigned long uint32_t;
#line 117
typedef long long int64_t;




typedef unsigned long long uint64_t;
#line 134
typedef int16_t intptr_t;




typedef uint16_t uintptr_t;
# 213 "/usr/local/lib/gcc-lib/avr/3.3-tinyos/include/stddef.h" 3
typedef unsigned int size_t;
#line 325
typedef int wchar_t;
# 60 "/usr/local/avr/include/stdlib.h"
typedef struct __nesc_unnamed4242 {
  int quot;
  int rem;
} div_t;


typedef struct __nesc_unnamed4243 {
  long quot;
  long rem;
} ldiv_t;


typedef int (*__compar_fn_t)(const void *, const void *);
# 151 "/usr/local/lib/gcc-lib/avr/3.3-tinyos/include/stddef.h" 3
typedef int ptrdiff_t;
# 85 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/system/tos.h"
typedef unsigned char bool;
enum __nesc_unnamed4244 {
  FALSE = 0, 
  TRUE = 1
};



enum __nesc_unnamed4245 {
  FAIL = 0, 
  SUCCESS = 1
};
static inline 

uint8_t rcombine(uint8_t r1, uint8_t r2);
typedef uint8_t  result_t;
static inline 






result_t rcombine(result_t r1, result_t r2);
#line 128
enum __nesc_unnamed4246 {
  NULL = 0x0
};
# 39 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/CC2430/hal.h"
typedef unsigned char BOOL;


typedef unsigned char BYTE;
typedef unsigned short WORD;
typedef unsigned long DWORD;


typedef unsigned char UINT8;
typedef unsigned short UINT16;
typedef unsigned long UINT32;


typedef signed char INT8;
typedef signed short INT16;
typedef signed long INT32;
#line 501
typedef struct __nesc_unnamed4247 {
  BYTE SRCADDRH;
  BYTE SRCADDRL;
  BYTE DESTADDRH;
  BYTE DESTADDRL;
  BYTE VLEN : 3;
  BYTE LENH : 5;
  BYTE LENL : 8;
  BYTE WORDSIZE : 1;
  BYTE TMODE : 2;
  BYTE TRIG : 5;
  BYTE SRCINC : 2;
  BYTE DESTINC : 2;
  BYTE IRQMASK : 1;
  BYTE M8 : 1;
  BYTE PRIORITY : 2;
} DMA_DESC;
# 89 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/CC2430/ioCC2430.h"
typedef int sfr;
#line 126
sfr PCON = 0x87;
#line 139
sfr P1 = 0x90;
#line 194
sfr SLEEP = 0xBE;









sfr CLKCON = 0xC6;
#line 217
sfr PSW = 0xD0;
#line 229
sfr T1CC0L = 0xDA;
sfr T1CC0H = 0xDB;







sfr T1CNTL = 0xE2;
sfr T1CNTH = 0xE3;
sfr T1CTL = 0xE4;
#line 259
sfr P1SEL = 0xF4;










sfr P1DIR = 0xFE;







typedef int sbit;
#line 325
sbit EA = 0xAF;
#line 338
sbit T4IE = 0xBC;
sbit T3IE = 0xBB;
sbit T2IE = 0xBA;
sbit T1IE = 0xB9;









sbit T1IF = 0xC1;
static inline 
# 100 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/CC2430/CC2430hardware.h"
void TOSH_wait(void);
static inline 



void TOSH_sleep(void);










typedef uint8_t __nesc_atomic_t;

__inline __nesc_atomic_t  __nesc_atomic_start(void );






__inline void  __nesc_atomic_end(__nesc_atomic_t oldSreg);
static 




__inline void __nesc_enable_interrupt(void);
# 34 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/CC2430/hardware.h"
static __inline void TOSH_SET_RED_LED_PIN(void);
#line 34
static __inline void TOSH_CLR_RED_LED_PIN(void);
#line 34
static __inline void TOSH_MAKE_RED_LED_OUTPUT(void);
#line 34
static __inline void TOSH_MAKE_RED_LED_GIO(void);
static __inline void TOSH_SET_GREEN_LED_PIN(void);
#line 35
static __inline void TOSH_MAKE_GREEN_LED_OUTPUT(void);
#line 35
static __inline void TOSH_MAKE_GREEN_LED_GIO(void);
static __inline void TOSH_SET_YELLOW_LED_PIN(void);
#line 36
static __inline void TOSH_MAKE_YELLOW_LED_OUTPUT(void);
#line 36
static __inline void TOSH_MAKE_YELLOW_LED_GIO(void);
static inline 
#line 57
void TOSH_SET_PIN_DIRECTIONS(void );
#line 74
enum __nesc_unnamed4248 {
  TOSH_ADC_PORTMAPSIZE = 9
};
# 54 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/types/dbg_modes.h"
typedef long long TOS_dbg_mode;



enum __nesc_unnamed4249 {
  DBG_ALL = ~0ULL, 


  DBG_BOOT = 1ULL << 0, 
  DBG_CLOCK = 1ULL << 1, 
  DBG_TASK = 1ULL << 2, 
  DBG_SCHED = 1ULL << 3, 
  DBG_SENSOR = 1ULL << 4, 
  DBG_LED = 1ULL << 5, 
  DBG_CRYPTO = 1ULL << 6, 


  DBG_ROUTE = 1ULL << 7, 
  DBG_AM = 1ULL << 8, 
  DBG_CRC = 1ULL << 9, 
  DBG_PACKET = 1ULL << 10, 
  DBG_ENCODE = 1ULL << 11, 
  DBG_RADIO = 1ULL << 12, 


  DBG_LOG = 1ULL << 13, 
  DBG_ADC = 1ULL << 14, 
  DBG_I2C = 1ULL << 15, 
  DBG_UART = 1ULL << 16, 
  DBG_PROG = 1ULL << 17, 
  DBG_SOUNDER = 1ULL << 18, 
  DBG_TIME = 1ULL << 19, 




  DBG_SIM = 1ULL << 21, 
  DBG_QUEUE = 1ULL << 22, 
  DBG_SIMRADIO = 1ULL << 23, 
  DBG_HARD = 1ULL << 24, 
  DBG_MEM = 1ULL << 25, 



  DBG_USR1 = 1ULL << 27, 
  DBG_USR2 = 1ULL << 28, 
  DBG_USR3 = 1ULL << 29, 
  DBG_TEMP = 1ULL << 30, 

  DBG_ERROR = 1ULL << 31, 
  DBG_NONE = 0, 

  DBG_DEFAULT = DBG_ALL
};
# 59 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/system/sched.c"
typedef struct __nesc_unnamed4250 {
  void (*tp)(void);
} TOSH_sched_entry_T;

enum __nesc_unnamed4251 {
  TOSH_MAX_TASKS = 8, 
  TOSH_TASK_BITMASK = TOSH_MAX_TASKS - 1
};

TOSH_sched_entry_T TOSH_queue[TOSH_MAX_TASKS];
volatile uint8_t TOSH_sched_full;
volatile uint8_t TOSH_sched_free;
static inline 

void TOSH_wait(void );
static inline void TOSH_sleep(void );
static inline 
void TOSH_sched_init(void );
#line 98
bool  TOS_post(void (*tp)(void));
static inline 
#line 139
bool TOSH_run_next_task(void);
static inline 
#line 162
void TOSH_run_task(void);
# 39 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/Timer.h"
enum __nesc_unnamed4252 {
  TIMER_REPEAT = 0, 
  TIMER_ONE_SHOT = 1, 
  NUM_TIMERS = 1
};
# 34 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/CC2430/Clock.h"
enum __nesc_unnamed4253 {
  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_unnamed4254 {
  DEFAULT_SCALE = 3, DEFAULT_INTERVAL = 65535
};
static  result_t HPLInit$init(void);
static  result_t BlinkM$StdControl$init(void);
static  result_t BlinkM$StdControl$start(void);
static  result_t BlinkM$Timer$fired(void);
static   result_t TimerM$Clock$fire(void);
static  result_t TimerM$StdControl$init(void);
static  result_t TimerM$StdControl$start(void);
static  result_t TimerM$Timer$default$fired(uint8_t arg_0xa25ea88);
static  result_t TimerM$Timer$start(uint8_t arg_0xa25ea88, char arg_0xa254a38, uint16_t arg_0xa254b90);
static   void HPLClock$Clock$setInterval(uint16_t arg_0xa2768d0);
static   result_t HPLClock$Clock$setRate(uint16_t arg_0xa27da28, uint8_t arg_0xa27db70);
static   uint8_t HPLPowerManagementM$PowerManagement$adjustPower(void);
static   result_t LedsC$Leds$init(void);
static   result_t LedsC$Leds$redOff(void);
static   result_t LedsC$Leds$redToggle(void);
static   result_t LedsC$Leds$redOn(void);
static  
# 47 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/CC2430/RealMain.nc"
result_t RealMain$hardwareInit(void);
static  
# 63 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/StdControl.nc"
result_t RealMain$StdControl$init(void);
static  





result_t RealMain$StdControl$start(void);
# 57 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/CC2430/RealMain.nc"
int   main(void);
static inline  
# 10 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/CC2430/HPLInit.nc"
result_t HPLInit$init(void);
static   
# 56 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/Leds.nc"
result_t BlinkM$Leds$init(void);
static   
#line 81
result_t BlinkM$Leds$redToggle(void);
static  
# 59 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/CC2430/Timer.nc"
result_t BlinkM$Timer$start(char arg_0xa254a38, uint16_t arg_0xa254b90);
static inline  
# 52 "BlinkM.nc"
result_t BlinkM$StdControl$init(void);
static inline  









result_t BlinkM$StdControl$start(void);
static inline  
#line 84
result_t BlinkM$Timer$fired(void);
static   
# 41 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/interfaces/PowerManagement.nc"
uint8_t TimerM$PowerManagement$adjustPower(void);
static   
# 105 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/CC2430/Clock.nc"
void TimerM$Clock$setInterval(uint16_t arg_0xa2768d0);
static   
#line 96
result_t TimerM$Clock$setRate(uint16_t arg_0xa27da28, uint8_t arg_0xa27db70);
static  
# 73 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/CC2430/Timer.nc"
result_t TimerM$Timer$fired(
# 6 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/CC2430/TimerM.nc"
uint8_t arg_0xa25ea88);









uint32_t TimerM$mState;
uint8_t TimerM$setIntervalFlag;
uint8_t TimerM$mScale;
uint16_t TimerM$mInterval;
int8_t TimerM$queue_head;
int8_t TimerM$queue_tail;
uint8_t TimerM$queue_size;
uint8_t TimerM$queue[NUM_TIMERS];

struct TimerM$timer_s {
  uint8_t type;
  int32_t ticks;
  int32_t ticksLeft;
} TimerM$mTimerList[NUM_TIMERS];
static inline  



result_t TimerM$StdControl$init(void);
static inline  








result_t TimerM$StdControl$start(void);
static inline  









result_t TimerM$Timer$start(uint8_t id, char type, 
uint16_t interval);
#line 82
static void TimerM$adjustInterval(void);
static inline   
#line 122
result_t TimerM$Timer$default$fired(uint8_t id);
static inline 


void TimerM$enqueue(uint8_t value);
static inline 






uint8_t TimerM$dequeue(void);
static inline  








void TimerM$signalOneTimer(void);
static inline  




void TimerM$HandleFire(void);
static inline   
#line 172
result_t TimerM$Clock$fire(void);
static   
# 180 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/CC2430/Clock.nc"
result_t HPLClock$Clock$fire(void);
# 12 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/CC2430/HPLClock.nc"
uint8_t HPLClock$set_flag;
uint8_t HPLClock$mscale;
#line 13
uint8_t HPLClock$nextScale;
uint16_t HPLClock$minterval;
static inline   
#line 45
void HPLClock$Clock$setInterval(uint16_t value);
static inline   
#line 118
result_t HPLClock$Clock$setRate(uint16_t interval, uint8_t scale);
#line 138
void __attribute((interrupt))   T1_VECTOR(void);
# 14 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/CC2430/HPLPowerManagementM.nc"
bool HPLPowerManagementM$disabled = 1;

enum HPLPowerManagementM$__nesc_unnamed4255 {
  HPLPowerManagementM$IDLE = 0, 
  HPLPowerManagementM$ADC_NR = 0, 

  HPLPowerManagementM$POWER_DOWN = (1 << 0) + (1 << 1), 
  HPLPowerManagementM$POWER_SAVE = 1 << 1, 
  HPLPowerManagementM$STANDBY = (1 << 0) + (1 << 1), 
  HPLPowerManagementM$EXT_STANDBY = 1 << 1
};
static inline 

uint8_t HPLPowerManagementM$getPowerLevel(void);
static inline  
#line 48
void HPLPowerManagementM$doAdjustment(void);
static   
#line 67
uint8_t HPLPowerManagementM$PowerManagement$adjustPower(void);
# 50 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/system/LedsC.nc"
uint8_t LedsC$ledsOn;

enum LedsC$__nesc_unnamed4256 {
  LedsC$RED_BIT = 1, 
  LedsC$GREEN_BIT = 2, 
  LedsC$YELLOW_BIT = 4
};
static inline   
result_t LedsC$Leds$init(void);
static inline   









result_t LedsC$Leds$redOn(void);
static inline   







result_t LedsC$Leds$redOff(void);
static inline   







result_t LedsC$Leds$redToggle(void);
# 36 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/CC2430/hardware.h"
static __inline void TOSH_SET_YELLOW_LED_PIN(void)
#line 36
{
#line 36
  P1 |= 1 << 4;
}

#line 35
static __inline void TOSH_SET_GREEN_LED_PIN(void)
#line 35
{
#line 35
  P1 |= 1 << 0;
}

#line 34
static __inline void TOSH_SET_RED_LED_PIN(void)
#line 34
{
#line 34
  P1 |= 1 << 1;
}

#line 36
static __inline void TOSH_MAKE_YELLOW_LED_OUTPUT(void)
#line 36
{
#line 36
  P1DIR |= 1 << 4;
}

#line 35
static __inline void TOSH_MAKE_GREEN_LED_OUTPUT(void)
#line 35
{
#line 35
  P1DIR |= 1 << 0;
}

#line 34
static __inline void TOSH_MAKE_RED_LED_OUTPUT(void)
#line 34
{
#line 34
  P1DIR |= 1 << 1;
}

#line 36
static __inline void TOSH_MAKE_YELLOW_LED_GIO(void)
#line 36
{
#line 36
  P1SEL &= ~(0x01 << 4);
}

#line 35
static __inline void TOSH_MAKE_GREEN_LED_GIO(void)
#line 35
{
#line 35
  P1SEL &= ~(0x01 << 0);
}

#line 34
static __inline void TOSH_MAKE_RED_LED_GIO(void)
#line 34
{
#line 34
  P1SEL &= ~(0x01 << 1);
}

static inline 
#line 57
void TOSH_SET_PIN_DIRECTIONS(void )
{



  TOSH_MAKE_RED_LED_GIO();
  TOSH_MAKE_GREEN_LED_GIO();
  TOSH_MAKE_YELLOW_LED_GIO();
  TOSH_MAKE_RED_LED_OUTPUT();
  TOSH_MAKE_GREEN_LED_OUTPUT();
  TOSH_MAKE_YELLOW_LED_OUTPUT();
  TOSH_SET_RED_LED_PIN();
  TOSH_SET_GREEN_LED_PIN();
  TOSH_SET_YELLOW_LED_PIN();
}

static inline  
# 10 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/CC2430/HPLInit.nc"
result_t HPLInit$init(void)
#line 10
{
  do {
#line 11
      if (0x00) {
#line 11
          CLKCON |= 0x40;
#line 11
          while (!(SLEEP & 0x20)) ;
#line 11
          if ((CLKCON & 0x38) >> 3 == 0) {
#line 11
              CLKCON |= 0x08;
            }
#line 11
          SLEEP |= 0x04;
        }
      else 
#line 11
        {
#line 11
          SLEEP &= ~0x04;
#line 11
          while (!(SLEEP & 0x40)) ;
#line 11
           __asm ("NOP");CLKCON &= ~0x47;
#line 11
          SLEEP |= 0x04;
        }
    }
  while (
#line 11
  0);
  TOSH_SET_PIN_DIRECTIONS();
  return SUCCESS;
}

# 47 "C:/tinyos/cygwin/opt/tinyos-1.x/tos/platform/CC2430/RealMain.nc"
inline static  result_t RealMain$hardwareInit(void){
#line 47
  unsigned char result;
#line 47

#line 47
  result = HPLInit$init();
#line 47

#line 47
  return result;
#line 47
}
#line 47
static inline