update

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

diff --git a/kernel/fiasco/src/kern/platform_control.cpp b/kernel/fiasco/src/kern/platform_control.cpp
index 339ac82db929ec64a5d9b38b523c5d368ddadb99..9780160376188fef0139575f8f938b72c7c61272 100644 (file)
--- a/kernel/fiasco/src/kern/platform_control.cpp
+++ b/kernel/fiasco/src/kern/platform_control.cpp
@@ -20,6 +20,16 @@ void
 Platform_control::init(unsigned)
 {}
 
+IMPLEMENT inline NEEDS["l4_types.h"]
+int
+Platform_control::system_suspend()
+{ return -L4_err::EBusy; }
+
+// ------------------------------------------------------------------------
+IMPLEMENTATION [!cpu_suspend || !mp]:
+
+#include "l4_types.h"
+
 IMPLEMENT inline
 bool
 Platform_control::cpu_offline_available()
@@ -34,8 +44,3 @@ IMPLEMENT inline NEEDS["l4_types.h"]
 int
 Platform_control::resume_cpu(unsigned)
 { return -L4_err::ENodev; }
-
-IMPLEMENT inline NEEDS["l4_types.h"]
-int
-Platform_control::system_suspend()
-{ return -L4_err::EBusy; }