Home
last modified time | relevance | path

Searched refs:mdccint_el1 (Results 1 – 3 of 3) sorted by relevance

/freebsd/sys/arm64/vmm/
H A Dvmm_hyp.c234 hypctx->mdccint_el1 = READ_SPECIALREG(mdccint_el1); in vmm_hyp_reg_store()
280 WRITE_SPECIALREG(mdccint_el1, hypctx->mdccint_el1); in vmm_hyp_reg_restore()
H A Dvmm_reset.c68 set_arch_unknown(el2ctx->mdccint_el1); in reset_vm_el01_regs()
H A Darm64.h68 uint64_t mdccint_el1; /* Monitor DCC Interrupt Enable Register */ member