4 #include <System/Mem.h>
6 #include <kern/types.h>
7 #include <arch/addrs.h>
14 static const ulong page_size = 4096;
15 static const int page_shift = 12;
17 // x64 does not have cache alias issues.
18 static const ulong page_mapping_min_align = 4096;
20 static const ulong user_start = 0;
21 static const ulong user_end = 0x00007fffffffffff;