Searched refs:ich_vmcr_el2 (Results 1 – 2 of 2) sorted by relevance
68 hypctx->vgic_v3_regs.ich_vmcr_el2 = in vmm_hyp_reg_store()69 READ_SPECIALREG(ich_vmcr_el2); in vmm_hyp_reg_store()455 WRITE_SPECIALREG(ich_vmcr_el2, in vmm_hyp_reg_restore()456 hypctx->vgic_v3_regs.ich_vmcr_el2); in vmm_hyp_reg_restore()504 uint64_t ich_hcr_el2, ich_vmcr_el2, cnthctl_el2, cntkctl_el1; in vmm_hyp_call_guest() local517 ich_vmcr_el2 = READ_SPECIALREG(ich_vmcr_el2); in vmm_hyp_call_guest()589 WRITE_SPECIALREG(ich_vmcr_el2, ich_vmcr_el2); in vmm_hyp_call_guest()
520 hypctx->vgic_v3_regs.ich_vmcr_el2 = in vgic_v3_cpuinit()523 hypctx->vgic_v3_regs.ich_vmcr_el2 &= ~ICH_VMCR_EL2_VEOIM; in vgic_v3_cpuinit()524 hypctx->vgic_v3_regs.ich_vmcr_el2 |= ICH_VMCR_EL2_VENG0 | in vgic_v3_cpuinit()