text_index         81 drivers/xen/gntdev.c 			      char *text, int text_index)
text_index         90 drivers/xen/gntdev.c 		       map->index == text_index && text ? text : "");