Symbol: ehci_hcdi_get_current_frame_number