X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/f4122e6e085938b6d216a9ec724b974a603f6992..983fe7c4ac262f56d38a143b1efab1e4afb77a52:/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 024ee1e8e..501ea102a 100644
--- 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();
     }
 }