gntdev_copy       932 drivers/xen/gntdev.c 			ret = gntdev_copy(batch);
gntdev_copy      1018 drivers/xen/gntdev.c 		ret = gntdev_copy(&batch);