Home
last modified time | relevance | path

Searched refs:mdcr_el2 (Results 1 – 4 of 4) sorted by relevance

/freebsd/sys/arm64/vmm/
H A Dvmm_hyp.c509 host_hypctx.mdcr_el2 = READ_SPECIALREG(mdcr_el2); in vmm_hyp_call_guest()
510 WRITE_SPECIALREG(mdcr_el2, hypctx->mdcr_el2); in vmm_hyp_call_guest()
515 WRITE_SPECIALREG(mdcr_el2, host_hypctx.mdcr_el2); in vmm_hyp_call_guest()
H A Dvmm_reset.c144 el2ctx->mdcr_el2 = 0; in reset_vm_el2_regs()
146 el2ctx->mdcr_el2 |= (el2ctx->pmcr_el0 & PMCR_N_MASK) >> PMCR_N_SHIFT; in reset_vm_el2_regs()
H A Darm64.h97 uint64_t mdcr_el2; /* Monitor Debug Configuration Register */ member
H A Dvmm_arm64.c1350 hypctx->mdcr_el2 |= MDCR_EL2_TDE; in vmmops_setcap()
1352 hypctx->mdcr_el2 &= ~MDCR_EL2_TDE; in vmmops_setcap()
1365 hypctx->mdcr_el2 |= MDCR_EL2_TDE; in vmmops_setcap()
1373 hypctx->mdcr_el2 &= ~MDCR_EL2_TDE; in vmmops_setcap()