kitten/include/arch-x86_64/aspace.h

   1 /* Copyright (c) 2007, Sandia National Laboratories */
   2
   3 #ifndef _ARCH_X86_64_ASPACE_H
   4 #define _ARCH_X86_64_ASPACE_H
   5
   6 #ifdef __KERNEL__
   7 #include <arch/page_table.h>
   8
   9 struct arch_aspace {
  10         xpte_t *pgd;    /* Page global directory... root page table */
  11 };
  12 #endif
  13
  14 #define SMARTMAP_ALIGN  0x8000000000UL  /* Each PML4T entry covers 512 GB */
  15
  16 #endif