EHCI_PAGE
size_t pageoffs = EHCI_PAGE(curoffs);
paddr_t a = EHCI_PAGE(DMAADDR(dma,
addr = EHCI_PAGE(addr);
int page_offs = EHCI_PAGE(froffs + (EHCI_PAGE_SIZE * j));
page = EHCI_PAGE(page);