Home
last modified time | relevance | path

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

/freebsd/sys/arm64/vmm/
H A Dvmm_hyp.c171 hypctx->pmintenset_el1 = READ_SPECIALREG(pmintenset_el1); in vmm_hyp_reg_store()
340 WRITE_SPECIALREG(pmintenset_el1, hypctx->pmintenset_el1); in vmm_hyp_reg_restore()
H A Dvmm_reset.c104 set_arch_unknown(el2ctx->pmintenset_el1); in reset_vm_el01_regs()
H A Darm64.h82 uint64_t pmintenset_el1; member
/freebsd/sys/dev/hwpmc/
H A Dhwpmc_arm64.c66 WRITE_SPECIALREG(pmintenset_el1, reg); in arm64_interrupt_enable()