GNTDEV_COPY_BATCH  829 drivers/xen/gntdev.c 	struct gnttab_copy ops[GNTDEV_COPY_BATCH];
GNTDEV_COPY_BATCH  830 drivers/xen/gntdev.c 	struct page *pages[GNTDEV_COPY_BATCH];
GNTDEV_COPY_BATCH  831 drivers/xen/gntdev.c 	s16 __user *status[GNTDEV_COPY_BATCH];
GNTDEV_COPY_BATCH  931 drivers/xen/gntdev.c 		if (batch->nr_ops >= GNTDEV_COPY_BATCH) {