Barrelfish
|
Arch specific definitions, can be included by others. More...
Macros | |
#define | X86_64_BASE_PAGE_BITS 12 |
#define | X86_64_LARGE_PAGE_BITS 21 |
#define | X86_64_HUGE_PAGE_BITS 30 |
#define | X86_64_PTABLE_EXECUTE_DISABLE (((paging_x86_64_flags_t)1) << 63) |
#define | X86_64_PTABLE_BITS 9 |
#define | X86_64_PTABLE_SIZE (1UL<<X86_64_PTABLE_BITS) |
#define | X86_64_PTABLE_MASK 0x1ff |
#define | X86_64_PTABLE_CLEAR 0 |
#define | X86_64_PTABLE_ACCESS_DEFAULT |
Default access is read/write, but not execute. | |
Arch specific definitions, can be included by others.
#define X86_64_BASE_PAGE_BITS 12 |
The system's base page size is 4kB
#define X86_64_HUGE_PAGE_BITS 30 |
The system's huge page size is 1GB
#define X86_64_LARGE_PAGE_BITS 21 |
The system's large page size is 2MB
#define X86_64_PTABLE_BITS 9 |
Page directory/table size in bits
#define X86_64_PTABLE_CLEAR 0 |
Bitmap of a clear table entry
#define X86_64_PTABLE_EXECUTE_DISABLE (((paging_x86_64_flags_t)1) << 63) |
Bits within the various page directories and tables.
#define X86_64_PTABLE_MASK 0x1ff |
Page dir/table address mask
#define X86_64_PTABLE_SIZE (1UL<<X86_64_PTABLE_BITS) |
Page directory/table size