/* Get the peripheral interrupt number through peripheral base.  */
unsigned long xSysCtlPeripheralIntNumGet(unsigned long ulPeripheralBase)
/* Get the peripheral interrupt number through peripheral base.  */
unsigned long xSysCtlPeripheralIntNumGet(unsigned long ulPeripheralBase)
{
    unsigned long i;
    xASSERT((ulPeripheralBase == xGPIO_PORTA_BASE)||
            (ulPeripheralBase == xGPIO_PORTB_BASE)||
            (ulPeripheralBase == xTIMER0_BASE)||
            (ulPeripheralBase == xTIMER1_BASE)||
            (ulPeripheralBase == xUART0_BASE)||
            (ulPeripheralBase == xACMP0_BASE)||
            (ulPeripheralBase == xSPI0_BASE)||
            (ulPeripheralBase == xI2C0_BASE)||
            (ulPeripheralBase == xADC0_BASE)||
            (ulPeripheralBase == xWDT_BASE)
            );
    for(i=0; g_pPeripherals[i].ulPeripheralBase != 0; i++)
    {
        if(ulPeripheralBase == g_pPeripherals[i].ulPeripheralBase)
        {
            break;
        }
    }
    return g_pPeripherals[i].ulPeripheralIntNum;
}