gntdev_find_map_index  714 drivers/xen/gntdev.c 	map = gntdev_find_map_index(priv, op.index >> PAGE_SHIFT, op.count);
gntdev_find_map_index 1085 drivers/xen/gntdev.c 	map = gntdev_find_map_index(priv, index, count);