/*
* GeekOS IDT initialization code
* Copyright (c) 2001, David H. Hovemeyer <daveho@cs.umd.edu>
- * $Revision: 1.1 $
+ * $Revision: 1.3 $
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "COPYING".
#include <geekos/defs.h>
#include <geekos/idt.h>
#include <geekos/serial.h>
-
+#include <geekos/debug.h>
/* ----------------------------------------------------------------------
* Private data and functions
* ---------------------------------------------------------------------- */
/*
* Allocated
*/
-//static union IDT_Descriptor s_IDT[ NUM_IDT_ENTRIES ];
-static union IDT_Descriptor *s_IDT = (union IDT_Descriptor *)IDT_LOCATION;
+static union IDT_Descriptor s_IDT[ NUM_IDT_ENTRIES ];
+//static union IDT_Descriptor *s_IDT = (union IDT_Descriptor *)IDT_LOCATION;
/*