Symbol: gntdev_find_map_index
drivers/xen/gntdev.c
1069
map = gntdev_find_map_index(priv, index, count);
drivers/xen/gntdev.c
693
map = gntdev_find_map_index(priv, op.index >> PAGE_SHIFT, op.count);