gntdev_put_pages  870 drivers/xen/gntdev.c 	gntdev_put_pages(batch);
gntdev_put_pages 1022 drivers/xen/gntdev.c 	gntdev_put_pages(&batch);