Home
last modified time | relevance | path

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

/freebsd-head/sys/arm64/vmm/
HDvmm_reset.c58 set_arch_unknown(el2ctx->afsr0_el1); in reset_vm_el01_regs()
HDarm64.h59 uint64_t afsr0_el1; /* Auxiliary Fault Status Register 0 */ member
HDvmm_hyp.c241 hypctx->afsr0_el1 = READ_SPECIALREG(EL1_REG(AFSR0)); in vmm_hyp_reg_store()
302 WRITE_SPECIALREG(EL1_REG(AFSR0), hypctx->afsr0_el1); in vmm_hyp_reg_restore()
/freebsd-head/sys/arm64/arm64/
HDmachdep.c948 PRINT_REG(afsr0_el1); in DB_SHOW_COMMAND()