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 3b1090ad0ab4b73a947397d7b745d3835224527a..e8bd591f9f43fdbe71186d237dc0899b77f60d92 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/main-ia32.cpp
+++ b/kernel/fiasco/src/kern/ia32/main-ia32.cpp
@@ -45,7 +45,7 @@ exit_question()
   Proc::cli();
   exit_question_active = 1;
 
-  Pic::Status irqs = Pic::disable_all_save();
+  Unsigned16 irqs = Pic::disable_all_save();
   if (Config::getchar_does_hlt_works_ok)
     {
       Timer_tick::set_vectors_stop();
@@ -78,8 +78,6 @@ main_arch()
 {
   // console initialization
   set_exit_question(&exit_question);
-
-  //Pic::disable_all_save();
 }