Searched refs:CTX_TCR_EL2 (Results 1 – 3 of 3) sorted by relevance
119 CTX_TCR_EL2); in populate_cpu_err_data()
1159 write_ctx_reg(ctx, CTX_TCR_EL2, read_tcr_el2()); in el2_sysregs_context_save_common()1209 write_tcr_el2(read_ctx_reg(ctx, CTX_TCR_EL2)); in el2_sysregs_context_restore_common()
199 #define CTX_TCR_EL2 U(0xc0) macro
