/* 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;
    ui32Int = INT_USB0;
    return (ui32Int);
}