EHCI_ITD_NBUFFERS  218 dev/usb/ehcireg.h 	ehci_physaddr_t	itd_buffer[EHCI_ITD_NBUFFERS];
EHCI_ITD_NBUFFERS  231 dev/usb/ehcireg.h 	ehci_physaddr_t	itd_buffer_hi[EHCI_ITD_NBUFFERS]; /* 64bit */