dataphyslastpage 2232 dev/usb/ehci.c 	ehci_physaddr_t dataphys, dataphyspage, dataphyslastpage, nextphys;
dataphyslastpage 2245 dev/usb/ehci.c 	dataphyslastpage = EHCI_PAGE(dataphys + len - 1);
dataphyslastpage 2266 dev/usb/ehci.c 		if (dataphyslastpage - dataphyspage <
dataphyslastpage 2280 dev/usb/ehci.c 				    dataphyslastpage, dataphyspage, dataphys);
dataphyslastpage 2295 dev/usb/ehci.c 		    dataphys, dataphyslastpage, len, curlen));