Searched refs:translate_tcr_el2_to_tcr_el1 (Results 1 – 2 of 2) sorted by relevance
23 static inline u64 translate_tcr_el2_to_tcr_el1(u64 tcr) in translate_tcr_el2_to_tcr_el1() function
122 translate_tcr_el2_to_tcr_el1 ); in get_el2_to_el1_mapping()