Searched refs:CTX_VTCR_EL2 (Results 1 – 3 of 3) sorted by relevance
125 CTX_VTCR_EL2); in populate_cpu_err_data()
1165 write_ctx_reg(ctx, CTX_VTCR_EL2, read_vtcr_el2()); in el2_sysregs_context_save_common()1215 write_vtcr_el2(read_ctx_reg(ctx, CTX_VTCR_EL2)); in el2_sysregs_context_restore_common()
205 #define CTX_VTCR_EL2 U(0xf0) macro
