gntdev_get_page 952 drivers/xen/gntdev.c ret = gntdev_get_page(batch, virt, false, &gfn); gntdev_get_page 971 drivers/xen/gntdev.c ret = gntdev_get_page(batch, virt, true, &gfn);