update

[l4.git] / kernel / fiasco / src / kern / ia32 / main-ia32.cpp

diff --git a/kernel/fiasco/src/kern/ia32/main-ia32.cpp b/kernel/fiasco/src/kern/ia32/main-ia32.cpp
index 024ee1e8ea090fc4f23b90cfeecc4a865516ee2e..501ea102a93d9e1700adf8852a3234864bdee23c 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/main-ia32.cpp
+++ b/kernel/fiasco/src/kern/ia32/main-ia32.cpp
@@ -27,11 +27,11 @@ extern "C" void __attribute__ ((noreturn))
 _exit(int)
 {
   if (exit_question_active)
-    pc_reset();
+    platform_reset();
 
-  while(1)
-    { 
-      Proc::halt(); 
+  while (1)
+    {
+      Proc::halt();
       Proc::pause();
     }
 }