Searched refs:TCR_TBI0 (Results 1 – 4 of 4) sorted by relevance
79 tbi = tcr & TCR_TBI0; in effective_tbi()
220 FIELD_GET(TCR_TBI0, tcr))); in setup_s1_walk()
267 #define TCR_TBI0 TCR_EL1_TBI0 macro
26 ((tcr & TCR_EL2_TBI) ? TCR_TBI0 : 0) | in translate_tcr_el2_to_tcr_el1()