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

/trusted-firmware-a/lib/xlat_tables_v2/
A D	xlat_tables_utils.c	224 int used_page_tables; in xlat_tables_print() local 246 used_page_tables = 0; in xlat_tables_print() 249 ++used_page_tables; in xlat_tables_print() 252 used_page_tables = ctx->next_table; in xlat_tables_print() 255 used_page_tables, ctx->tables_num, in xlat_tables_print() 256 ctx->tables_num - used_page_tables); in xlat_tables_print()

Completed in 3 milliseconds

Last Index update Sat Jun 03 09:59:21 CST 2023