arch/powerpc/include/asm/kvm_fpu.h

   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