EHCI_4K_ALIGN
ASSERT((page % EHCI_4K_ALIGN) == 0);
if (curr_isoc_xfer_offset >= EHCI_4K_ALIGN) {
page += EHCI_4K_ALIGN;
curr_isoc_xfer_offset -= EHCI_4K_ALIGN;
ASSERT((buf_addr % EHCI_4K_ALIGN) == 0);
ASSERT((buf_addr % EHCI_4K_ALIGN) == 0);
#define EHCI_DMA_ATTR_ALIGNMENT EHCI_4K_ALIGN
#define EHCI_DMA_ATTR_ALIGNMENT EHCI_4K_ALIGN
#define EHCI_DMA_ATTR_PFL_ALIGNMENT EHCI_4K_ALIGN