palacios/include/geekos/gdt.h

   1 /*
   2  * Initialize kernel GDT.
   3  * Copyright (c) 2001, David H. Hovemeyer <daveho@cs.umd.edu>
   4  * $Revision: 1.1.1.1 $
   5  *
   6  * This is free software.  You are permitted to use,
   7  * redistribute, and modify it as specified in the file "COPYING".
   8  */
   9
  10 #ifndef GEEKOS_GDT_H
  11 #define GEEKOS_GDT_H
  12
  13 struct Segment_Descriptor;
  14
  15 void DumpGDT();
  16 void Init_GDT(void);
  17 struct Segment_Descriptor* Allocate_Segment_Descriptor(void);
  18 void Free_Segment_Descriptor(struct Segment_Descriptor* desc);
  19 int Get_Descriptor_Index(struct Segment_Descriptor* desc);
  20
  21
  22 #endif  /* GEEKOS_GDT_H */