/* Performs a software reset of a peripheral. 
The  */
void xSysCtlPeripheralReset(unsigned long ulPeripheral)
/* Performs a software reset of a peripheral. 
The  */
void xSysCtlPeripheralReset(unsigned long ulPeripheral)
{
    xASSERT((ulPeriphClkID == xSYSCTL_PERIPH_RTC) ||
            (ulPeriphClkID == xSYSCTL_PERIPH_SPI0) ||
            (ulPeriphClkID == xSYSCTL_PERIPH_TIMER0) ||
            (ulPeriphClkID == xSYSCTL_PERIPH_TIMER1) ||
            (ulPeriphClkID == xSYSCTL_PERIPH_UART0) ||
            (ulPeriphClkID == xSYSCTL_PERIPH_WDOG) ||
            (ulPeriphClkID == xSYSCTL_PERIPH_I2S0) ||
            (ulPeriphClkID == SYSCTL_PERIPH_PWM01) ||
            (ulPeriphClkID == xSYSCTL_PERIPH_DMA0) ||
            (ulPeriphClkID == xSYSCTL_PERIPH_I2C0)
            );
    SysCtlIPReset(ulPeripheral);
}