EHCI_ITD_ALIGN
sizeof(ehci_itd_t), EHCI_ITD_ALIGN);
EHCI_ITD_ALIGN, nitd)) {
} __aligned(EHCI_ITD_ALIGN);
(USB_PAGE_SIZE < EHCI_ITD_ALIGN) || (EHCI_ITD_ALIGN == 0) || \