Barrelfish
|
Architecture specific kernel page table definitions. More...
Macros | |
#define | X86_32_MEM_PAGE_SIZE X86_32_BASE_PAGE_SIZE |
#define | X86_32_MEM_PAGE_MASK (X86_32_MEM_PAGE_SIZE - 1) |
#define | X86_32_PDIR_ENTRIES(limit) 1 |
#define | X86_32_PTABLE_ENTRIES(limit) (X86_32_PDIR_BASE((limit) - 1) + 1) |
Architecture specific kernel page table definitions.
#define X86_32_MEM_PAGE_MASK (X86_32_MEM_PAGE_SIZE - 1) |
Mask for physical memory page
#define X86_32_MEM_PAGE_SIZE X86_32_BASE_PAGE_SIZE |
Physical memory page size is 4 KBytes
#define X86_32_PDIR_ENTRIES | ( | limit | ) | 1 |
Resolves to required number of entries in page directory to map 'limit' number of bytes.
#define X86_32_PTABLE_ENTRIES | ( | limit | ) | (X86_32_PDIR_BASE((limit) - 1) + 1) |
Resolves to required number of entries in page table to map 'limit' number of bytes.