Searched refs:TCR_EL2_RES1 (Results 1 – 2 of 2) sorted by relevance
94 #define TCR_EL2_RES1 ((1U << 31) | (1 << 23)) macro
1635 tcr = (read_sysreg(tcr_el1) & TCR_EL2_MASK) | TCR_EL2_RES1; in cpu_prepare_hyp_mode()