+IMPLEMENT inline NEEDS["l4_types.h"]
+int
+Platform_control::system_suspend()
+{ return -L4_err::EBusy; }
+
+// ------------------------------------------------------------------------
+IMPLEMENTATION [!cpu_suspend || !mp]:
+
+#include "l4_types.h"
+