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) {