FPEXC32_EL2        52 arch/arm64/kvm/hyp/switch.c 	vcpu->arch.ctxt.sys_regs[FPEXC32_EL2] = read_sysreg(fpexc32_el2);
FPEXC32_EL2       388 arch/arm64/kvm/hyp/switch.c 		write_sysreg(vcpu->arch.ctxt.sys_regs[FPEXC32_EL2],
FPEXC32_EL2      1650 arch/arm64/kvm/sys_regs.c 	{ SYS_DESC(SYS_FPEXC32_EL2), NULL, reset_val, FPEXC32_EL2, 0x700 },