Searched refs:__fpsimd_save_fpexc32 (Results 1 – 3 of 3) sorted by relevance
158 __fpsimd_save_fpexc32(vcpu); in __kvm_vcpu_run_vhe()
237 __fpsimd_save_fpexc32(vcpu); in __kvm_vcpu_run()
55 static inline void __fpsimd_save_fpexc32(struct kvm_vcpu *vcpu) in __fpsimd_save_fpexc32() function