Symbol: uhci_get_current_frame_number