Searched refs:xlat_table_base (Results 1 – 1 of 1) sorted by relevance
282 uint64_t *xlat_table_base, in find_xlat_table_entry() argument293 table = xlat_table_base; in find_xlat_table_entry()