Symbol: OHCI_REV_HI
sys/dev/usb/ohci.c
664
printf("version %d.%d%s\n", OHCI_REV_HI(rev), OHCI_REV_LO(rev),
sys/dev/usb/ohci.c
667
if (OHCI_REV_HI(rev) != 1 || OHCI_REV_LO(rev) != 0) {