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