Searched refs:table_idx (Results 1 – 2 of 2) sorted by relevance
372 unsigned int table_idx; in xlat_tables_unmap_region() local375 table_idx = xlat_tables_va_to_index(table_base_va, table_idx_va, level); in xlat_tables_unmap_region()377 while (table_idx < table_entries) { in xlat_tables_unmap_region()381 desc = table_base[table_idx]; in xlat_tables_unmap_region()390 table_base[table_idx] = INVALID_DESC; in xlat_tables_unmap_region()409 table_base[table_idx] = INVALID_DESC; in xlat_tables_unmap_region()418 table_idx++; in xlat_tables_unmap_region()586 unsigned int table_idx; in xlat_tables_map_region() local589 table_idx = xlat_tables_va_to_index(table_base_va, table_idx_va, level); in xlat_tables_map_region()596 while (table_idx < table_entries) { in xlat_tables_map_region()[all …]
148 unsigned int table_idx = 0U; in xlat_tables_print_internal() local159 while (table_idx < table_entries) { in xlat_tables_print_internal()161 desc = table_base[table_idx]; in xlat_tables_print_internal()213 table_idx++; in xlat_tables_print_internal()