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