Linux Kernel  3.7.1
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Groups Pages
kvm_fpu.h
Go to the documentation of this file.
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 <[email protected]>
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 
56 FPD_ONE_IN(frsqrtes)
62 FPD_ONE_IN(fre)
70 FPD_TWO_IN(fcpsgn)
84 
85 extern void kvm_cvt_fd(u32 *from, u64 *to);
86 extern void kvm_cvt_df(u64 *from, u32 *to);
87 
88 #endif