Home
last modified time | relevance | path

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

/freebsd/sys/arm64/vmm/
H A Dvmm_hyp.c64 hypctx->vgic_v3_regs.ich_hcr_el2 = in vmm_hyp_reg_store()
65 READ_SPECIALREG(ich_hcr_el2); in vmm_hyp_reg_store()
439 WRITE_SPECIALREG(ich_hcr_el2, hypctx->vgic_v3_regs.ich_hcr_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
501 ich_hcr_el2 = READ_SPECIALREG(ich_hcr_el2); in vmm_hyp_call_guest()
573 WRITE_SPECIALREG(ich_hcr_el2, ich_hcr_el2); in vmm_hyp_call_guest()
/freebsd/sys/arm64/vmm/io/
H A Dvgic_v3.c505 hypctx->vgic_v3_regs.ich_hcr_el2 = ICH_HCR_EL2_En; in vgic_v3_cpuinit()
2120 hypctx->vgic_v3_regs.ich_hcr_el2 &= ~ICH_HCR_EL2_UIE; in vgic_v3_flush_hwstate()
2246 hypctx->vgic_v3_regs.ich_hcr_el2 &= ~ICH_HCR_EL2_EOICOUNT_MASK; in vgic_v3_sync_hwstate()