/* Returns the interrupt number for a specified USB module. */
static uint32_t _USBIntNumberGet(uint32_t ui32Base)
/* Returns the interrupt number for a specified USB module. */
static uint32_t _USBIntNumberGet(uint32_t ui32Base)
{
    uint32_t ui32Int;
    if(CLASS_IS_TM4C123)
    {
        ui32Int = INT_USB0_TM4C123;
    }
    else if(CLASS_IS_TM4C129)
    {
        ui32Int = INT_USB0_TM4C129;
    }
    else
    {
        ui32Int = 0;
    }
    return(ui32Int);
}