EHCI_PAGE_OFFSET 2273 dev/usb/ehci.c 				 EHCI_PAGE_OFFSET(dataphys);
EHCI_PAGE_OFFSET 2278 dev/usb/ehci.c 				    EHCI_PAGE_OFFSET(dataphys));
EHCI_PAGE_OFFSET 2314 dev/usb/ehci.c 		    curlen + EHCI_PAGE_OFFSET(dataphys); i++) {