Symbol: AFSR1_EL1
sys/arm64/include/armreg.h
58
#define AFSR1_EL1_REG MRS_REG_ALT_NAME(AFSR1_EL1)
sys/arm64/vmm/vmm_hyp.c
307
hypctx_write_sys_reg(hypctx, AFSR1_EL1,
sys/arm64/vmm/vmm_hyp.c
411
hypctx_read_sys_reg(hypctx, AFSR1_EL1));
sys/arm64/vmm/vmm_reset.c
476
HFGWTR, AFSR1_EL1, NOTRAP);