SYS_FAR_EL12       93 arch/arm64/kvm/sys_regs.c 	case FAR_EL1:		return read_sysreg_s(SYS_FAR_EL12);
SYS_FAR_EL12      136 arch/arm64/kvm/sys_regs.c 	case FAR_EL1:		write_sysreg_s(val, SYS_FAR_EL12);	return;