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 : "");