pgno              599 drivers/xen/balloon.c 	int pgno = 0;
pgno              607 drivers/xen/balloon.c 	while (pgno < nr_pages) {
pgno              610 drivers/xen/balloon.c 			pages[pgno++] = page;
pgno              625 drivers/xen/balloon.c 			ret = add_ballooned_pages(nr_pages - pgno);
pgno              634 drivers/xen/balloon.c 	free_xenballooned_pages(pgno, pages);
pgno              371 drivers/xen/gntdev.c 		int pgno = (map->notify.addr >> PAGE_SHIFT);
pgno              372 drivers/xen/gntdev.c 		if (pgno >= offset && pgno < offset + pages) {
pgno              374 drivers/xen/gntdev.c 			uint8_t *tmp = pfn_to_kaddr(page_to_pfn(map->pages[pgno]));