EHCI_SITD_ALIGN
sizeof(ehci_sitd_t), EHCI_SITD_ALIGN);
EHCI_SITD_ALIGN, nsitd)) {
} __aligned(EHCI_SITD_ALIGN);
(USB_PAGE_SIZE < EHCI_SITD_ALIGN) || (EHCI_SITD_ALIGN == 0) || \