update

[l4.git] / kernel / fiasco / src / kern / fpu.cpp

diff --git a/kernel/fiasco/src/kern/fpu.cpp b/kernel/fiasco/src/kern/fpu.cpp
index 5e7775ed9d49f9f23c308f9951b2d14bd04cdd9a..f97081b8bb7312027041cbd8ba68951a07b727aa 100644 (file)
--- a/kernel/fiasco/src/kern/fpu.cpp
+++ b/kernel/fiasco/src/kern/fpu.cpp
@@ -18,15 +18,13 @@ class Fpu
 {
 public:
   // all the following methods are arch dependent
-  static void init(Cpu_number cpu, bool) FIASCO_INIT_CPU;
+  static void init(Cpu_number cpu, bool) FIASCO_INIT_CPU_AND_PM;
 
   static unsigned state_size();
   static unsigned state_align();
   static void init_state(Fpu_state *);
   static void restore_state(Fpu_state *);
   static void save_state(Fpu_state *);
-  static void disable();
-  static void enable();
 
   static Per_cpu<Fpu> fpu;
 
@@ -72,10 +70,10 @@ IMPLEMENT inline
 void Fpu::restore_state(Fpu_state *)
 {}
 
-IMPLEMENT inline
+PUBLIC static inline
 void Fpu::disable()
 {}
 
-IMPLEMENT inline
+PUBLIC static inline
 void Fpu::enable()
 {}