Searched defs:table_idx (Results 1 – 2 of 2) sorted by relevance
373 unsigned int table_idx; in xlat_tables_unmap_region() local586 unsigned int table_idx; in xlat_tables_map_region() local
147 unsigned int table_idx = 0U; in xlat_tables_print_internal() local
