|
@@ -36,7 +36,7 @@ int ia32_setup_frame(int sig, struct ksignal *ksig,
|
|
#define MXCSR_DEFAULT 0x1f80
|
|
#define MXCSR_DEFAULT 0x1f80
|
|
|
|
|
|
extern unsigned int mxcsr_feature_mask;
|
|
extern unsigned int mxcsr_feature_mask;
|
|
-extern void fpu__cpu_init(void);
|
|
|
|
|
|
+extern void fpu__init_cpu(void);
|
|
extern void eager_fpu_init(void);
|
|
extern void eager_fpu_init(void);
|
|
|
|
|
|
extern void fpu__init_system_xstate(void);
|
|
extern void fpu__init_system_xstate(void);
|