55   return (RNDL | (RNDH << 8));
 
   94   RFPWR &= ~RREG_RADIO_PD;        
 
   95   while(!(RFIF & IRQ_RREG_ON));   
 
  115   ADCCON1 &= ~(ADRCTRL1 | ADRCTRL0);
 
  118   while(!(ADCTSTH & ADCTSTL));
 
  121   for(i = 0; i < 32; i++) {
 
  134   RFPWR |= RREG_RADIO_PD;
 
CC2430 registers header file for CC2430. 
    CC2430 RF driver header file  
void cc2430_rf_command(uint8_t command)
Execute a single CSP command. 
void random_init(unsigned short seed)
Seed the cc2430 random number generator. 
unsigned short random_rand(void)
Generate the next state and return the upper part of it.