Searched refs:CTX_VMPIDR_EL2 (Results 1 – 2 of 2) sorted by relevance
1163 write_ctx_reg(ctx, CTX_VMPIDR_EL2, read_vmpidr_el2()); in el2_sysregs_context_save_common()1213 write_vmpidr_el2(read_ctx_reg(ctx, CTX_VMPIDR_EL2)); in el2_sysregs_context_restore_common()
203 #define CTX_VMPIDR_EL2 U(0xe0) macro
