Symbol: ohci_hcdi_get_max_isoc_pkts