X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=misc%2Ftest_vm%2Fsrc%2Fgeekos%2Fidt.c;h=1000996ce229d55fb55a0c98ab922d65ce8aca64;hp=5e2398961b6a56630cd5bb2d4aacf6f734bebaa5;hb=b86b717be870723228190fcc9c8233a511d95073;hpb=bc98195a63d8cb1d109eeaa72f57f468c6c9581e

diff --git a/misc/test_vm/src/geekos/idt.c b/misc/test_vm/src/geekos/idt.c
index 5e23989..1000996 100644
--- a/misc/test_vm/src/geekos/idt.c
+++ b/misc/test_vm/src/geekos/idt.c
@@ -10,7 +10,7 @@
 #include <geekos/kassert.h>
 #include <geekos/defs.h>
 #include <geekos/idt.h>
-#include <geekos/serial.h>
+#include <geekos/debug.h>
 
 /* ----------------------------------------------------------------------
  * Private data and functions
@@ -42,37 +42,17 @@ Interrupt_Handler g_interruptTable[ NUM_IDT_ENTRIES ];
 
 
 
-void DumpIDT()
-{
-  int i;
-  Print("IDT Contents:\n");
 
-  for (i=0;i<NUM_IDT_ENTRIES/16;i++) { 
-    if (s_IDT[i].ig.present) { 
-      Print("%d: segmentselector=%u, offset=%u, offsetLow=%u, segmentSelector=%u, reserved=%u, signature=%u, dpl=%u, present=%u, offsetHigh=%u\n",
-	    i,
-	    s_IDT[i].ig.segmentSelector,
-	    (s_IDT[i].ig.offsetHigh<<16) + s_IDT[i].ig.offsetLow,
-	    s_IDT[i].ig.offsetLow,
-	    s_IDT[i].ig.segmentSelector,
-	    s_IDT[i].ig.reserved,
-	    s_IDT[i].ig.signature,
-	    s_IDT[i].ig.dpl,
-	    s_IDT[i].ig.present,
-	    s_IDT[i].ig.offsetHigh);
-    }
-  }
-}
 
 
-void SerialDumpIDT()
+void DumpIDT()
 {
   int i;
-  SerialPrint("IDT Contents:\n");
+  PrintBoth("IDT Contents:\n");
 
   for (i=0;i<NUM_IDT_ENTRIES;i++) { 
     if (s_IDT[i].ig.present) { 
-      SerialPrint("%d: segmentselector=%u, offset=%u, offsetLow=%u, segmentSelector=%u, reserved=%u, signature=%u, dpl=%u, present=%u, offsetHigh=%u\n",
+      PrintBoth("%d: segmentselector=%u, offset=%u, offsetLow=%u, segmentSelector=%u, reserved=%u, signature=%u, dpl=%u, present=%u, offsetHigh=%u\n",
 	    i,
 	    s_IDT[i].ig.segmentSelector,
 	    (s_IDT[i].ig.offsetHigh<<16) + s_IDT[i].ig.offsetLow,
@@ -83,7 +63,7 @@ void SerialDumpIDT()
 	    s_IDT[i].ig.dpl,
 	    s_IDT[i].ig.present,
 	    s_IDT[i].ig.offsetHigh);
-      SerialPrint("\n");
+      PrintBoth("\n");
     }
   }
 }