Barrelfish
Macros
paging_target.h File Reference

Arch specific definitions, can be included by others. More...

Macros

#define X86_32_BASE_PAGE_BITS   12
 
#define X86_32_LARGE_PAGE_BITS   22
 
#define X86_32_PTABLE_EXECUTE_DISABLE   ((paging_x86_32_flags_t)0)
 
#define X86_32_PTABLE_SIZE   (1U<<X86_32_PTABLE_BITS)
 
#define X86_32_PTABLE_MASK   (X86_32_PTABLE_SIZE - 1)
 
#define X86_32_PTABLE_CLEAR   0
 
#define X86_32_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_32_BASE_PAGE_BITS   12

The system's base page size is 4kB

#define X86_32_LARGE_PAGE_BITS   22

The system's large page size is 2MB or 4MB

#define X86_32_PTABLE_CLEAR   0

Bitmap of a clear table entry

#define X86_32_PTABLE_EXECUTE_DISABLE   ((paging_x86_32_flags_t)0)

Bits within the various page directories and tables.

#define X86_32_PTABLE_MASK   (X86_32_PTABLE_SIZE - 1)

Page dir/table address mask

#define X86_32_PTABLE_SIZE   (1U<<X86_32_PTABLE_BITS)

Page directory/table size