Home
last modified time | relevance | path

Searched refs:ich_vmcr_el2 (Results 1 – 2 of 2) sorted by relevance

/freebsd/sys/arm64/vmm/
H A Dvmm_hyp.c68 hypctx->vgic_v3_regs.ich_vmcr_el2 = in vmm_hyp_reg_store()
69 READ_SPECIALREG(ich_vmcr_el2); in vmm_hyp_reg_store()
440 WRITE_SPECIALREG(ich_vmcr_el2, in vmm_hyp_reg_restore()
441 hypctx->vgic_v3_regs.ich_vmcr_el2); in vmm_hyp_reg_restore()
489 uint64_t ich_hcr_el2, ich_vmcr_el2, cnthctl_el2, cntkctl_el1; in vmm_hyp_call_guest() local
502 ich_vmcr_el2 = READ_SPECIALREG(ich_vmcr_el2); in vmm_hyp_call_guest()
574 WRITE_SPECIALREG(ich_vmcr_el2, ich_vmcr_el2); in vmm_hyp_call_guest()
/freebsd/sys/arm64/vmm/io/
H A Dvgic_v3.c520 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()