kitten/include/arch-x86_64/mmu.h

   1 #ifndef _X86_64_MMU_H
   2 #define _X86_64_MMU_H
   3
   4 #include <lwk/spinlock.h>
   5 // #include <asm/semaphore.h>
   6
   7 /*
   8  * The x86_64 doesn't have a mmu context, but
   9  * we put the segment information here.
  10  */
  11 typedef struct {
  12         void *ldt;
  13         rwlock_t ldtlock;
  14         int size;
  15 //      struct semaphore sem;
  16 } mm_context_t;
  17
  18 #endif