ehci_get_current_frame_number
*frame_number = ehci_get_current_frame_number(ehcip);
before_frame_number = ehci_get_current_frame_number(ehcip);
after_frame_number = ehci_get_current_frame_number(ehcip);
current_frame_number = ehci_get_current_frame_number(ehcip);
current_frame_number = ehci_get_current_frame_number(ehcip);
current_frame_number = ehci_get_current_frame_number(ehcip);
current_frame_number = ehci_get_current_frame_number(ehcip);
usb_frame_number_t ehci_get_current_frame_number(
before_frame_number = ehci_get_current_frame_number(ehcip);
after_frame_number = ehci_get_current_frame_number(ehcip);
before_frame_number = ehci_get_current_frame_number(ehcip);
after_frame_number = ehci_get_current_frame_number(ehcip);
starting_frame = ehci_get_current_frame_number(ehcip);
frames_past = ehci_get_current_frame_number(ehcip) -
(unsigned long long)(ehci_get_current_frame_number(ehcip) -
ehci_get_current_frame_number(ehcip) + MAX_SOF_WAIT_COUNT;
extern usb_frame_number_t ehci_get_current_frame_number(