/* Read the device status register and set the device speed.  */
static void usb_enumfinish_isr(usb_core_instance *pdev)
/* Read the device status register and set the device speed.  */
static void usb_enumfinish_isr(usb_core_instance *pdev)
{
    usb_ep0activate(&pdev->regs);
    usb_setaroundtim(pdev);
    WRITE_REG32(pdev->regs.GREGS->GINTSTS, USBFS_GINTSTS_ENUMDNE);
}