4 #include <kern/types.h>
7 static const ulong page_size = 4096;
8 static const int page_shift = 12;
10 // x86 does not have cache alias issues.
11 static const ulong page_mapping_min_align = 4096;
13 static const ulong user_start = 0;
14 static const ulong user_end = 0x7fffffff;