OHCI_4K_ALIGN
ASSERT((page_addr % OHCI_4K_ALIGN) == 0);
ASSERT((start_addr % OHCI_4K_ALIGN) == 0);
#define OHCI_DMA_ATTR_ALIGNMENT OHCI_4K_ALIGN
