Symbol: gntdev_put_pages
drivers/xen/gntdev.c
839
gntdev_put_pages(batch);
drivers/xen/gntdev.c
990
gntdev_put_pages(batch);
drivers/xen/gntdev.c
996
gntdev_put_pages(batch);