44 #include "contiki-conf.h" 
   51 #if CC_CONF_OPTIMIZE_STACK_SIZE 
   55 cc4230_watchdog_ISR(
void) __interrupt(WDT_VECTOR)
 
   58   ENERGEST_ON(ENERGEST_TYPE_IRQ);
 
   61   ENERGEST_OFF(ENERGEST_TYPE_IRQ);
 
   70   WDCTL = WDT_TIMER_MODE | WDT_INTERVAL;
 
   93   WDCTL = (WDCTL & 0x0F) | WDT_CLR3 | WDT_CLR1;
 
   94   WDCTL = (WDCTL & 0x0F) | WDT_CLR2 | WDT_CLR0;
 
  116   WDCTL = WDT_EN | WDT_TIMEOUT_2_MSEC;
 
  119   WDCTL = WDT_TIMEOUT_2_MSEC;
 
CC2430 registers header file for CC2430. 
void watchdog_start(void)
Starts the WDT in watchdog mode if enabled by user configuration, maximum interval. 
void watchdog_reboot(void)
Keeps control until the WDT throws a reset signal. 
    Header file for the energy estimation mechanism  
void watchdog_stop(void)
In watchdog mode, the WDT can not be stopped. 
void watchdog_periodic(void)
Writes the WDT clear sequence. 
    Hardware-dependent header file for the cc2430 watchdog timer. 
#define DISABLE_INTERRUPTS()
Disable interrupts, saving the previous state so it can be later restored with RESTORE_INTERRUPTS(). 
void watchdog_init(void)
Copyright (c) 2014, Analog Devices, Inc.