__fpsimd_save_fpexc32  644 arch/arm64/kvm/hyp/switch.c 		__fpsimd_save_fpexc32(vcpu);
__fpsimd_save_fpexc32  717 arch/arm64/kvm/hyp/switch.c 		__fpsimd_save_fpexc32(vcpu);