Symbol: AFSR0_EL1
sys/arm64/include/armreg.h
42
#define AFSR0_EL1_REG MRS_REG_ALT_NAME(AFSR0_EL1)
sys/arm64/vmm/vmm_hyp.c
305
hypctx_write_sys_reg(hypctx, AFSR0_EL1,
sys/arm64/vmm/vmm_hyp.c
409
hypctx_read_sys_reg(hypctx, AFSR0_EL1));
sys/arm64/vmm/vmm_reset.c
478
HFGWTR, AFSR0_EL1, NOTRAP);