EHCI_PAGE_OFFSET
vaddr_t va_offs = EHCI_PAGE_OFFSET(va);
addr = EHCI_PAGE_OFFSET(addr);
EHCI_ITD_SET_OFFS(EHCI_PAGE_OFFSET(DMAADDR(dma_buf,offs))));