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