Searched defs:table_idx (Results 1 – 1 of 1) sorted by relevance
264 int table_idx; in xlat_tables_unmap_region() local531 int table_idx; in xlat_tables_map_region() local1107 int table_idx = 0; in xlat_tables_print_internal() local