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