VFP_FPEXC          29 arch/arm/kvm/hyp/switch.c 	val = read_sysreg(VFP_FPEXC);
VFP_FPEXC          32 arch/arm/kvm/hyp/switch.c 		write_sysreg(val | FPEXC_EN, VFP_FPEXC);
VFP_FPEXC         199 arch/arm/kvm/hyp/switch.c 	write_sysreg(fpexc, VFP_FPEXC);