EHCI_PAGE        2245 dev/usb/ehci.c 	dataphyslastpage = EHCI_PAGE(dataphys + len - 1);
EHCI_PAGE        2264 dev/usb/ehci.c 		dataphyspage = EHCI_PAGE(dataphys);
EHCI_PAGE        2317 dev/usb/ehci.c 				a = EHCI_PAGE(a);