1 /* 2 * This program is free software; you can redistribute it and/or modify 3 * it under the terms of the GNU General Public License, version 2, as 4 * published by the Free Software Foundation. 5 * 6 * This program is distributed in the hope that it will be useful, 7 * but WITHOUT ANY WARRANTY; without even the implied warranty of 8 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 9 * GNU General Public License for more details. 10 * 11 * You should have received a copy of the GNU General Public License 12 * along with this program; if not, write to the Free Software 13 * Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. 14 * 15 * Copyright Novell Inc. 2010 16 * 17 * Authors: Alexander Graf <agraf@suse.de> 18 */ 19 20 #ifndef __ASM_KVM_FPU_H__ 21 #define __ASM_KVM_FPU_H__ 22 23 #include <linux/types.h> 24 25 extern void fps_fres(u64 *fpscr, u32 *dst, u32 *src1); 26 extern void fps_frsqrte(u64 *fpscr, u32 *dst, u32 *src1); 27 extern void fps_fsqrts(u64 *fpscr, u32 *dst, u32 *src1); 28 29 extern void fps_fadds(u64 *fpscr, u32 *dst, u32 *src1, u32 *src2); 30 extern void fps_fdivs(u64 *fpscr, u32 *dst, u32 *src1, u32 *src2); 31 extern void fps_fmuls(u64 *fpscr, u32 *dst, u32 *src1, u32 *src2); 32 extern void fps_fsubs(u64 *fpscr, u32 *dst, u32 *src1, u32 *src2); 33 34 extern void fps_fmadds(u64 *fpscr, u32 *dst, u32 *src1, u32 *src2, 35 u32 *src3); 36 extern void fps_fmsubs(u64 *fpscr, u32 *dst, u32 *src1, u32 *src2, 37 u32 *src3); 38 extern void fps_fnmadds(u64 *fpscr, u32 *dst, u32 *src1, u32 *src2, 39 u32 *src3); 40 extern void fps_fnmsubs(u64 *fpscr, u32 *dst, u32 *src1, u32 *src2, 41 u32 *src3); 42 extern void fps_fsel(u64 *fpscr, u32 *dst, u32 *src1, u32 *src2, 43 u32 *src3); 44 45 #define FPD_ONE_IN(name) extern void fpd_ ## name(u64 *fpscr, u32 *cr, \ 46 u64 *dst, u64 *src1); 47 #define FPD_TWO_IN(name) extern void fpd_ ## name(u64 *fpscr, u32 *cr, \ 48 u64 *dst, u64 *src1, u64 *src2); 49 #define FPD_THREE_IN(name) extern void fpd_ ## name(u64 *fpscr, u32 *cr, \ 50 u64 *dst, u64 *src1, u64 *src2, u64 *src3); 51 52 extern void fpd_fcmpu(u64 *fpscr, u32 *cr, u64 *src1, u64 *src2); 53 extern void fpd_fcmpo(u64 *fpscr, u32 *cr, u64 *src1, u64 *src2); 54 55 FPD_ONE_IN(fsqrts) 56 FPD_ONE_IN(frsqrtes) 57 FPD_ONE_IN(fres) 58 FPD_ONE_IN(frsp) 59 FPD_ONE_IN(fctiw) 60 FPD_ONE_IN(fctiwz) 61 FPD_ONE_IN(fsqrt) 62 FPD_ONE_IN(fre) 63 FPD_ONE_IN(frsqrte) 64 FPD_ONE_IN(fneg) 65 FPD_ONE_IN(fabs) 66 FPD_TWO_IN(fadds) 67 FPD_TWO_IN(fsubs) 68 FPD_TWO_IN(fdivs) 69 FPD_TWO_IN(fmuls) 70 FPD_TWO_IN(fcpsgn) 71 FPD_TWO_IN(fdiv) 72 FPD_TWO_IN(fadd) 73 FPD_TWO_IN(fmul) 74 FPD_TWO_IN(fsub) 75 FPD_THREE_IN(fmsubs) 76 FPD_THREE_IN(fmadds) 77 FPD_THREE_IN(fnmsubs) 78 FPD_THREE_IN(fnmadds) 79 FPD_THREE_IN(fsel) 80 FPD_THREE_IN(fmsub) 81 FPD_THREE_IN(fmadd) 82 FPD_THREE_IN(fnmsub) 83 FPD_THREE_IN(fnmadd) 84 85 extern void kvm_cvt_fd(u32 *from, u64 *to); 86 extern void kvm_cvt_df(u64 *from, u32 *to); 87 88 #endif 89