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