Searched refs:ich_vmcr_el2 (Results 1 – 3 of 3) sorted by relevance
37 uint64_t ich_vmcr_el2; member
1396 write_el2_ctx_common(ctx, ich_vmcr_el2, read_ich_vmcr_el2()); in el2_sysregs_context_save_gic()1430 write_ich_vmcr_el2(read_el2_ctx_common(ctx, ich_vmcr_el2)); in el2_sysregs_context_restore_gic()
571 DEFINE_RENAME_SYSREG_RW_FUNCS(ich_vmcr_el2, ICH_VMCR_EL2)