X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/c06638d2e57a3230381daf1ccce3cf0dfd0eaa92..983fe7c4ac262f56d38a143b1efab1e4afb77a52:/kernel/fiasco/src/kern/ia32/32/thread-dbf.cpp

diff --git a/kernel/fiasco/src/kern/ia32/32/thread-dbf.cpp b/kernel/fiasco/src/kern/ia32/32/thread-dbf.cpp
index 84b28ef45..968cc53f6 100644
--- a/kernel/fiasco/src/kern/ia32/32/thread-dbf.cpp
+++ b/kernel/fiasco/src/kern/ia32/32/thread-dbf.cpp
@@ -96,5 +96,5 @@ Thread::handle_double_fault (void)
     }
 
   puts ("\033[1mRebooting...\033[0m");
-  pc_reset();
+  platform_reset();
 }