/* Performs a software reset of a peripheral. 
The  */
void SysCtlPeripheralReset(unsigned long ulPeripheral)
/* Performs a software reset of a peripheral. 
The  */
void SysCtlPeripheralReset(unsigned long ulPeripheral)
{
    volatile unsigned long ulDelay;
    xASSERT(SysCtlPeripheralValid(ulPeripheral));
    xHWREG(g_pulIPRSTRegs[SYSCTL_PERIPH_INDEX_R(ulPeripheral)]) |=
        SYSCTL_PERIPH_MASK_R(ulPeripheral);
    for(ulDelay = 0; ulDelay < 16; ulDelay++)
    {
    }
    xHWREG(g_pulIPRSTRegs[SYSCTL_PERIPH_INDEX_R(ulPeripheral)]) &=
        ~(SYSCTL_PERIPH_MASK_R(ulPeripheral));
}