Searched refs:xlat_table_base (Results 1 – 1 of 1) sorted by relevance
264 void *xlat_table_base, in find_xlat_table_entry() argument275 table = xlat_table_base; in find_xlat_table_entry()