1 /* SPDX-License-Identifier: GPL-2.0 */
6 extern void FPU_illegal(void);
7 extern void FPU_printall(void);
8 asmlinkage
void FPU_exception(int n
);
9 extern int real_1op_NaN(FPU_REG
*a
);
10 extern int real_2op_NaN(FPU_REG
const *b
, u_char tagb
, int deststnr
,
11 FPU_REG
const *defaultNaN
);
12 asmlinkage
int arith_invalid(int deststnr
);
13 asmlinkage
int FPU_divide_by_zero(int deststnr
, u_char sign
);
14 extern int set_precision_flag(int flags
);
15 asmlinkage
void set_precision_flag_up(void);
16 asmlinkage
void set_precision_flag_down(void);
17 asmlinkage
int denormal_operand(void);
18 asmlinkage
int arith_overflow(FPU_REG
*dest
);
19 asmlinkage
int arith_underflow(FPU_REG
*dest
);
20 extern void FPU_stack_overflow(void);
21 extern void FPU_stack_underflow(void);
22 extern void FPU_stack_underflow_i(int i
);
23 extern void FPU_stack_underflow_pop(int i
);
25 extern void fadd__(void);
26 extern void fmul__(void);
27 extern void fsub__(void);
28 extern void fsubr_(void);
29 extern void fdiv__(void);
30 extern void fdivr_(void);
31 extern void fadd_i(void);
32 extern void fmul_i(void);
33 extern void fsubri(void);
34 extern void fsub_i(void);
35 extern void fdivri(void);
36 extern void fdiv_i(void);
37 extern void faddp_(void);
38 extern void fmulp_(void);
39 extern void fsubrp(void);
40 extern void fsubp_(void);
41 extern void fdivrp(void);
42 extern void fdivp_(void);
44 extern void finit(void);
45 extern void finit_(void);
46 extern void fstsw_(void);
47 extern void fp_nop(void);
48 extern void fld_i_(void);
49 extern void fxch_i(void);
50 extern void fcmovb(void);
51 extern void fcmove(void);
52 extern void fcmovbe(void);
53 extern void fcmovu(void);
54 extern void fcmovnb(void);
55 extern void fcmovne(void);
56 extern void fcmovnbe(void);
57 extern void fcmovnu(void);
58 extern void ffree_(void);
59 extern void ffreep(void);
60 extern void fst_i_(void);
61 extern void fstp_i(void);
63 extern void math_emulate(struct math_emu_info
*info
);
64 extern void math_abort(struct math_emu_info
*info
, unsigned int signal
);
66 extern void FPU_etc(void);
68 extern int FPU_gettag0(void);
69 extern int FPU_gettagi(int stnr
);
70 extern int FPU_gettag(int regnr
);
71 extern void FPU_settag0(int tag
);
72 extern void FPU_settagi(int stnr
, int tag
);
73 extern void FPU_settag(int regnr
, int tag
);
74 extern int FPU_Special(FPU_REG
const *ptr
);
75 extern int isNaN(FPU_REG
const *ptr
);
76 extern void FPU_pop(void);
77 extern int FPU_empty_i(int stnr
);
78 extern int FPU_stackoverflow(FPU_REG
** st_new_ptr
);
79 extern void FPU_copy_to_regi(FPU_REG
const *r
, u_char tag
, int stnr
);
80 extern void FPU_copy_to_reg1(FPU_REG
const *r
, u_char tag
);
81 extern void FPU_copy_to_reg0(FPU_REG
const *r
, u_char tag
);
83 extern void FPU_triga(void);
84 extern void FPU_trigb(void);
86 extern void __user
*FPU_get_address(u_char FPU_modrm
, unsigned long *fpu_eip
,
88 fpu_addr_modes addr_modes
);
89 extern void __user
*FPU_get_address_16(u_char FPU_modrm
, unsigned long *fpu_eip
,
91 fpu_addr_modes addr_modes
);
93 extern int FPU_load_store(u_char type
, fpu_addr_modes addr_modes
,
94 void __user
* data_address
);
96 extern int poly_2xm1(u_char sign
, FPU_REG
* arg
, FPU_REG
*result
);
98 extern void poly_atan(FPU_REG
* st0_ptr
, u_char st0_tag
, FPU_REG
*st1_ptr
,
101 extern void poly_l2(FPU_REG
*st0_ptr
, FPU_REG
*st1_ptr
, u_char st1_sign
);
102 extern int poly_l2p1(u_char s0
, u_char s1
, FPU_REG
*r0
, FPU_REG
*r1
,
105 extern void poly_sine(FPU_REG
*st0_ptr
);
106 extern void poly_cos(FPU_REG
*st0_ptr
);
108 extern void poly_tan(FPU_REG
*st0_ptr
);
110 extern int FPU_add(FPU_REG
const *b
, u_char tagb
, int destrnr
, int control_w
);
111 extern int FPU_sub(int flags
, int rm
, int control_w
);
113 extern int FPU_compare_st_data(FPU_REG
const *loaded_data
, u_char loaded_tag
);
114 extern void fcom_st(void);
115 extern void fcompst(void);
116 extern void fcompp(void);
117 extern void fucom_(void);
118 extern void fucomp(void);
119 extern void fucompp(void);
120 extern void fcomi_(void);
121 extern void fcomip(void);
122 extern void fucomi_(void);
123 extern void fucomip(void);
125 extern void fconst(void);
127 extern int FPU_load_extended(long double __user
*s
, int stnr
);
128 extern int FPU_load_double(double __user
*dfloat
, FPU_REG
*loaded_data
);
129 extern int FPU_load_single(float __user
*single
, FPU_REG
*loaded_data
);
130 extern int FPU_load_int64(long long __user
*_s
);
131 extern int FPU_load_int32(long __user
*_s
, FPU_REG
*loaded_data
);
132 extern int FPU_load_int16(short __user
*_s
, FPU_REG
*loaded_data
);
133 extern int FPU_load_bcd(u_char __user
*s
);
134 extern int FPU_store_extended(FPU_REG
*st0_ptr
, u_char st0_tag
,
135 long double __user
* d
);
136 extern int FPU_store_double(FPU_REG
*st0_ptr
, u_char st0_tag
,
137 double __user
* dfloat
);
138 extern int FPU_store_single(FPU_REG
*st0_ptr
, u_char st0_tag
,
139 float __user
* single
);
140 extern int FPU_store_int64(FPU_REG
*st0_ptr
, u_char st0_tag
,
141 long long __user
* d
);
142 extern int FPU_store_int32(FPU_REG
*st0_ptr
, u_char st0_tag
, long __user
*d
);
143 extern int FPU_store_int16(FPU_REG
*st0_ptr
, u_char st0_tag
, short __user
*d
);
144 extern int FPU_store_bcd(FPU_REG
*st0_ptr
, u_char st0_tag
, u_char __user
*d
);
145 extern int FPU_round_to_int(FPU_REG
*r
, u_char tag
);
146 extern u_char __user
*fldenv(fpu_addr_modes addr_modes
, u_char __user
*s
);
147 extern void FPU_frstor(fpu_addr_modes addr_modes
, u_char __user
*data_address
);
148 extern u_char __user
*fstenv(fpu_addr_modes addr_modes
, u_char __user
*d
);
149 extern void fsave(fpu_addr_modes addr_modes
, u_char __user
*data_address
);
150 extern int FPU_tagof(FPU_REG
*ptr
);
152 extern int FPU_mul(FPU_REG
const *b
, u_char tagb
, int deststnr
, int control_w
);
154 extern int FPU_div(int flags
, int regrm
, int control_w
);
156 extern int FPU_to_exp16(FPU_REG
const *a
, FPU_REG
*x
);
157 #endif /* _FPU_PROTO_H */