kernel/include/arch-x86/paging.h

   1 #ifndef _ARCH_PAGING_H
   2 #define _ARCH_PAGING_H
   3
   4 #include <kern/types.h>
   5
   6 namespace Arch {
   7         static const ulong page_size = 4096;
   8         static const int page_shift = 12;
   9
  10         // x86 does not have cache alias issues.
  11         static const ulong page_mapping_min_align = 4096;
  12
  13         static const ulong user_start = 0;
  14         static const ulong user_end = 0x7fffffff;
  15 }
  16
  17 #endif