/* SPDX-License-Identifier: GPL-2.0-only */ /* * * Copyright Novell Inc. 2010 * * Authors: Alexander Graf <agraf@suse.de> */ #ifndef __ASM_KVM_FPU_H__ #define __ASM_KVM_FPU_H__ #include <linux/types.h> extern void fps_fres(u64 *fpscr, u32 *dst, u32 *src1); extern void fps_frsqrte(u64 *fpscr, u32 *dst, u32 *src1); extern void fps_fsqrts(u64 *fpscr, u32 *dst, u32 *src1); extern void fps_fadds(u64 *fpscr, u32 *dst, u32 *src1, u32 *src2); extern void fps_fdivs(u64 *fpscr, u32 *dst, u32 *src1, u32 *src2); extern void fps_fmuls(u64 *fpscr, u32 *dst, u32 *src1, u32 *src2); extern void fps_fsubs(u64 *fpscr, u32 *dst, u32 *src1, u32 *src2); extern void fps_fmadds(u64 *fpscr, u32 *dst, u32 *src1, u32 *src2, u32 *src3); extern void fps_fmsubs(u64 *fpscr, u32 *dst, u32 *src1, u32 *src2, u32 *src3); extern void fps_fnmadds(u64 *fpscr, u32 *dst, u32 *src1, u32 *src2, u32 *src3); extern void fps_fnmsubs(u64 *fpscr, u32 *dst, u32 *src1, u32 *src2, u32 *src3); extern void fps_fsel(u64 *fpscr, u32 *dst, u32 *src1, u32 *src2, u32 *src3); #define FPD_ONE_IN(name) extern void fpd_ ## name(u64 *fpscr, u32 *cr, \ u64 *dst, u64 *src1); #define FPD_TWO_IN(name) extern void fpd_ ## name(u64 *fpscr, u32 *cr, \ u64 *dst, u64 *src1, u64 *src2); #define FPD_THREE_IN(name) extern void fpd_ ## name(u64 *fpscr, u32 *cr, \ u64 *dst, u64 *src1, u64 *src2, u64 *src3); extern void fpd_fcmpu(u64 *fpscr, u32 *cr, u64 *src1, u64 *src2); extern void fpd_fcmpo(u64 *fpscr, u32 *cr, u64 *src1, u64 *src2); FPD_ONE_IN(fsqrts) FPD_ONE_IN(frsqrtes) FPD_ONE_IN(fres) FPD_ONE_IN(frsp) FPD_ONE_IN(fctiw) FPD_ONE_IN(fctiwz) FPD_ONE_IN(fsqrt) FPD_ONE_IN(fre) FPD_ONE_IN(frsqrte) FPD_ONE_IN(fneg) FPD_ONE_IN(fabs) FPD_TWO_IN(fadds) FPD_TWO_IN(fsubs) FPD_TWO_IN(fdivs) FPD_TWO_IN(fmuls) FPD_TWO_IN(fcpsgn) FPD_TWO_IN(fdiv) FPD_TWO_IN(fadd) FPD_TWO_IN(fmul) FPD_TWO_IN(fsub) FPD_THREE_IN(fmsubs) FPD_THREE_IN(fmadds) FPD_THREE_IN(fnmsubs) FPD_THREE_IN(fnmadds) FPD_THREE_IN(fsel) FPD_THREE_IN(fmsub) FPD_THREE_IN(fmadd) FPD_THREE_IN(fnmsub) FPD_THREE_IN(fnmadd) extern void kvm_cvt_fd(u32 *from, u64 *to); extern void kvm_cvt_df(u64 *from, u32 *to); #endif