X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fgeekos%2Fgdt.c;h=707e34a2a4ea08d46b22ee2497a32151bbccf7f9;hb=856dabe4e139e3b42e2956f85e562aa922d66f2e;hp=d206939ac1d06c0b9f5b76d81fc4509177f5d19a;hpb=04fc4c8fbac29e04f0d0817a2906687c2c972559;p=palacios.git diff --git a/palacios/src/geekos/gdt.c b/palacios/src/geekos/gdt.c index d206939..707e34a 100644 --- a/palacios/src/geekos/gdt.c +++ b/palacios/src/geekos/gdt.c @@ -1,7 +1,7 @@ /* * Initialize kernel GDT. * Copyright (c) 2001,2004 David H. Hovemeyer - * $Revision: 1.3 $ + * $Revision: 1.4 $ * * This is free software. You are permitted to use, * redistribute, and modify it as specified in the file "COPYING". @@ -14,6 +14,7 @@ #include #include +#include /* * This is defined in lowlevel.asm. @@ -45,11 +46,11 @@ static int s_numAllocated = 0; void DumpGDT() { int i; - Print("GDT Contents:\n"); + PrintBoth("GDT Contents:\n"); for (i=0;i