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