Symbol: OHCI_MAX_PORT_COUNT