X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/0440e3159914b79a728a94d79bc6631526d77ba1..51f012d0ec4f0ad687159ed6685b73f90f1cfc71:/kernel/fiasco/src/kern/fpu.cpp

diff --git a/kernel/fiasco/src/kern/fpu.cpp b/kernel/fiasco/src/kern/fpu.cpp
index 5e7775ed9..f97081b8b 100644
--- 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()
 {}