Barrelfish
Macros
paging_kernel_arch.h File Reference

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)
 

Detailed Description

Architecture specific kernel page table definitions.

Macro Definition Documentation

#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.