Fix cc2538 examples. (#224)

examples/platforms/cc2538/alarm.c

@@ -49,7 +49,7 @@ static uint32_t sAlarmT0 = 0;
 static uint32_t sAlarmDt = 0;
 static bool sIsRunning = false;
 
-void PlatformAlarmInit(void)
+void cc2538AlarmInit(void)
 {
     HWREG(NVIC_ST_RELOAD) = kSystemClock / kTicksPerSec;
     HWREG(NVIC_ST_CTRL) = NVIC_ST_CTRL_CLK_SRC | NVIC_ST_CTRL_INTEN | NVIC_ST_CTRL_ENABLE;
@@ -72,7 +72,7 @@ void otPlatAlarmStop(void)
     sIsRunning = false;
 }
 
-void PlatformAlarmProcess(void)
+void cc2538AlarmProcess(void)
 {
     uint32_t expires;
     bool fire = false;

examples/platforms/cc2538/radio.c

@@ -142,7 +142,7 @@ ThreadError otPlatRadioSetShortAddress(uint16_t address)
     return kThreadError_None;
 }
 
-void PlatformRadioInit(void)
+void cc2538RadioInit(void)
 {
     sTransmitFrame.mLength = 0;
     sTransmitFrame.mPsdu = sTransmitPsdu;
@@ -368,7 +368,7 @@ exit:
     return;
 }
 
-int PlatformRadioProcess(void)
+void cc2538RadioProcess(void)
 {
     readFrame();
 
@@ -416,8 +416,6 @@ int PlatformRadioProcess(void)
     {
         disableReceiver();
     }
-
-    return 0;
 }
 
 void RFCoreRxTxIntHandler(void)

examples/platforms/cc2538/random.c

@@ -39,7 +39,7 @@
 
 static uint32_t s_state = 1;
 
-void PlatformRandomInit(void)
+void cc2538RandomInit(void)
 {
     // use Extended Identifier portion of IEEE EUI-64 as the seed
     s_state = HWREG(IEEE_EUI64 + 4);

examples/platforms/cc2538/serial.c

@@ -161,7 +161,7 @@ exit:
     return;
 }
 
-void PlatformSerialProcess(void)
+void cc2538SerialProcess(void)
 {
     processReceive();
     processTransmit();