/* Returns the current device address in device mode. */
uint32_t USBDevAddrGet(uint32_t ui32Base)
/* Returns the current device address in device mode. */
uint32_t USBDevAddrGet(uint32_t ui32Base)
{
    ASSERT(ui32Base == USB0_BASE);
    return(HWREGB(ui32Base + USB_O_FADDR));
}