Changes in kernel/arch/ia32/include/fpu_context.h [2ddcc7b:6da1013f] in mainline

File:

• kernel/arch/ia32/include/fpu_context.h (modified) (2 diffs)

kernel/arch/ia32/include/fpu_context.h

@@ -27 +27 @@
  */
 
-/** @addtogroup ia32
+/** @addtogroup ia32    
  * @{
  */
@@ -36 +36 @@
 #define KERN_ia32_FPU_CONTEXT_H_
 
-#include <typedefs.h>
+#include <arch/types.h>
 
-#define FPU_CONTEXT_ALIGN  16
+#define FPU_CONTEXT_ALIGN 16
+
+void fpu_fxsr(void);
+void fpu_fsr(void);
+
 
 typedef struct {
-        uint8_t fpu[512];  /* FXSAVE & FXRSTOR storage area */
+        uint8_t fpu[512];               /* FXSAVE & FXRSTOR storage area */
 } fpu_context_t;
-
-extern void fpu_fxsr(void);
-extern void fpu_fsr(void);
 
 #endif