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.c524 host_hypctx.mdcr_el2 = READ_SPECIALREG(mdcr_el2); in vmm_hyp_call_guest()
525 WRITE_SPECIALREG(mdcr_el2, hypctx->mdcr_el2); in vmm_hyp_call_guest()
530 WRITE_SPECIALREG(mdcr_el2, host_hypctx.mdcr_el2); in vmm_hyp_call_guest()
H A Dvmm_reset.c146 el2ctx->mdcr_el2 = 0; in reset_vm_el2_regs()
148 el2ctx->mdcr_el2 |= (el2ctx->pmcr_el0 & PMCR_N_MASK) >> PMCR_N_SHIFT; in reset_vm_el2_regs()
H A Darm64.h98 uint64_t mdcr_el2; /* Monitor Debug Configuration Register */ member
H A Dvmm_arm64.c1356 hypctx->mdcr_el2 |= MDCR_EL2_TDE; in vmmops_setcap()
1358 hypctx->mdcr_el2 &= ~MDCR_EL2_TDE; in vmmops_setcap()
1371 hypctx->mdcr_el2 |= MDCR_EL2_TDE; in vmmops_setcap()
1379 hypctx->mdcr_el2 &= ~MDCR_EL2_TDE; in vmmops_setcap()