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