Barrelfish
Macros
paging_target.h File Reference

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.
 

Detailed Description

Arch specific definitions, can be included by others.

Macro Definition Documentation

#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