EHCI_PAGE
dataphyslastpage = EHCI_PAGE(dataphys + len - 1);
dataphyspage = EHCI_PAGE(dataphys);
a = EHCI_PAGE(a);
addr = EHCI_PAGE(addr) / EHCI_PAGE_SIZE;
int page_offs = EHCI_PAGE(froffs +
page = EHCI_PAGE(page);
uint32_t page = EHCI_PAGE(addr + xfer->frlengths[i] - 1);