SYS_AFSR1_EL12     92 arch/arm64/kvm/sys_regs.c 	case AFSR1_EL1:		return read_sysreg_s(SYS_AFSR1_EL12);
SYS_AFSR1_EL12    135 arch/arm64/kvm/sys_regs.c 	case AFSR1_EL1:		write_sysreg_s(val, SYS_AFSR1_EL12);	return;