Searched defs:xlat_tables_print_internal (Results 1 – 2 of 2) sorted by relevance
39 static void xlat_tables_print_internal(__unused xlat_ctx_t *ctx) in xlat_tables_print_internal() function
139 static void xlat_tables_print_internal(xlat_ctx_t *ctx, uintptr_t table_base_va, in xlat_tables_print_internal() function