EHCI_SITD_NBUFFERS  269 dev/usb/ehcireg.h 	ehci_physaddr_t	sitd_buffer[EHCI_SITD_NBUFFERS];
EHCI_SITD_NBUFFERS  281 dev/usb/ehcireg.h 	ehci_physaddr_t sitd_buffer_hi[EHCI_SITD_NBUFFERS]; /* 64bit */