Searched refs:xlat_tables_print (Results 1 – 2 of 2) sorted by relevance
69 void xlat_tables_print(xlat_ctx_t *ctx);
1186 void xlat_tables_print(xlat_ctx_t *ctx) in xlat_tables_print() function1270 xlat_tables_print(ctx); in init_xlat_tables_ctx()