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

/freebsd-current/sys/arm64/vmm/
H A Dvmm_hyp.c235 hypctx->afsr0_el1 = READ_SPECIALREG(afsr0_el1);
275 WRITE_SPECIALREG(afsr0_el1, hypctx->afsr0_el1);
H A Dvmm_reset.c58 set_arch_unknown(el2ctx->afsr0_el1);
H A Darm64.h59 uint64_t afsr0_el1; /* Auxiliary Fault Status Register 0 */ member in struct:hypctx
/freebsd-current/sys/arm64/arm64/
H A Dmachdep.c1100 PRINT_REG(afsr0_el1);

Completed in 112 milliseconds