1 | /* SPDX-License-Identifier: GPL-2.0 */ |
2 | #ifndef _FPU_PROTO_H |
3 | #define _FPU_PROTO_H |
4 | |
5 | /* errors.c */ |
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); |
24 | /* fpu_arith.c */ |
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); |
43 | /* fpu_aux.c */ |
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); |
62 | /* fpu_entry.c */ |
63 | extern void math_emulate(struct math_emu_info *info); |
64 | extern void math_abort(struct math_emu_info *info, unsigned int signal); |
65 | /* fpu_etc.c */ |
66 | extern void FPU_etc(void); |
67 | /* fpu_tags.c */ |
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); |
82 | /* fpu_trig.c */ |
83 | extern void FPU_triga(void); |
84 | extern void FPU_trigb(void); |
85 | /* get_address.c */ |
86 | extern void __user *FPU_get_address(u_char FPU_modrm, unsigned long *fpu_eip, |
87 | struct address *addr, |
88 | fpu_addr_modes addr_modes); |
89 | extern void __user *FPU_get_address_16(u_char FPU_modrm, unsigned long *fpu_eip, |
90 | struct address *addr, |
91 | fpu_addr_modes addr_modes); |
92 | /* load_store.c */ |
93 | extern int FPU_load_store(u_char type, fpu_addr_modes addr_modes, |
94 | void __user * data_address); |
95 | /* poly_2xm1.c */ |
96 | extern int poly_2xm1(u_char sign, FPU_REG * arg, FPU_REG *result); |
97 | /* poly_atan.c */ |
98 | extern void poly_atan(FPU_REG * st0_ptr, u_char st0_tag, FPU_REG *st1_ptr, |
99 | u_char st1_tag); |
100 | /* poly_l2.c */ |
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, |
103 | FPU_REG * d); |
104 | /* poly_sin.c */ |
105 | extern void poly_sine(FPU_REG *st0_ptr); |
106 | extern void poly_cos(FPU_REG *st0_ptr); |
107 | /* poly_tan.c */ |
108 | extern void poly_tan(FPU_REG *st0_ptr); |
109 | /* reg_add_sub.c */ |
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); |
112 | /* reg_compare.c */ |
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); |
124 | /* reg_constant.c */ |
125 | extern void fconst(void); |
126 | /* reg_ld_str.c */ |
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); |
151 | /* reg_mul.c */ |
152 | extern int FPU_mul(FPU_REG const *b, u_char tagb, int deststnr, int control_w); |
153 | |
154 | extern int FPU_div(int flags, int regrm, int control_w); |
155 | /* reg_convert.c */ |
156 | extern int FPU_to_exp16(FPU_REG const *a, FPU_REG *x); |
157 | #endif /* _FPU_PROTO_H */ |
158 | |