Home
last modified time | relevance | path

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

/freebsd/sys/arm64/vmm/
H A Dvmm_reset.c59 set_arch_unknown(el2ctx->afsr1_el1); in reset_vm_el01_regs()
H A Darm64.h60 uint64_t afsr1_el1; /* Auxiliary Fault Status Register 1 */ member
H A Dvmm_hyp.c242 hypctx->afsr1_el1 = READ_SPECIALREG(EL1_REG(AFSR1)); in vmm_hyp_reg_store()
303 WRITE_SPECIALREG(EL1_REG(AFSR1), hypctx->afsr1_el1); in vmm_hyp_reg_restore()
/freebsd/sys/arm64/arm64/
H A Dmachdep.c1090 PRINT_REG(afsr1_el1); in DB_SHOW_COMMAND()