kernel/include/arch-x64/paging.h

   1 #ifndef _ARCH_PAGING_H
   2 #define _ARCH_PAGING_H
   3
   4 #include <System/Mem.h>
   5
   6 #include <kern/types.h>
   7 #include <arch/addrs.h>
   8
   9 namespace Mem {
  10         union PTEFlags;
  11 };
  12
  13 namespace Arch {
  14         static const ulong page_size = 4096;
  15         static const int page_shift = 12;
  16
  17         // x64 does not have cache alias issues.
  18         static const ulong page_mapping_min_align = 4096;
  19
  20         static const ulong user_start = 0;
  21         static const ulong user_end = 0x00007fffffffffff;
  22 }
  23
  24 #endif