Ytshih/hw2

code/machine/interrupt.cc

@@ -23,6 +23,7 @@
 #include "copyright.h"
 #include "interrupt.h"
 #include "main.h"
+#include "synchconsole.h"
 
 // String definitions for debugging messages
 
@@ -340,7 +341,7 @@ static void
 PrintPending (PendingInterrupt *pending)
 {
     cout << "Interrupt handler "<< intTypeNames[pending->type];
-    cout << ", scheduled at " << pending->when;
+    cout << ", scheduled at " << pending->when << endl;
 }
 
 //----------------------------------------------------------------------
@@ -362,5 +363,5 @@ Interrupt::DumpState()
 void 
 Interrupt::PrintInt(int value)
 {
-    return kernel->PrintInt(value);
-}
+    kernel->synchConsoleOut->PutInt(value);
+}