Home
last modified time | relevance | path

Searched refs:used_page_tables (Results 1 – 1 of 1) sorted by relevance

/trusted-firmware-a-latest/lib/xlat_tables_v2/
Dxlat_tables_utils.c225 int used_page_tables; in xlat_tables_print() local
247 used_page_tables = 0; in xlat_tables_print()
250 ++used_page_tables; in xlat_tables_print()
253 used_page_tables = ctx->next_table; in xlat_tables_print()
256 used_page_tables, ctx->tables_num, in xlat_tables_print()
257 ctx->tables_num - used_page_tables); in xlat_tables_print()