Go to the source code of this file.
Classes | |
| union | ddekit_pte |
| Page table entry. More... | |
Enumerations | |
| enum | { PDIR_SHIFT = L4_SUPERPAGESHIFT, PDIR_MASK = L4_SUPERPAGEMASK, PDIR_ENTRIES = (1 << (L4_MWORD_BITS - PDIR_SHIFT)), PTAB_ENTRIES = (1 << (PDIR_SHIFT - L4_PAGESHIFT)), PTAB_SIZE = (sizeof(void*) * PTAB_ENTRIES) } |
Functions | |
| static unsigned | pt_num (l4_addr_t addr) |
| Calculate offset of address in page directory - page-table number. | |
| static unsigned | pg_num (l4_addr_t addr) |
| Calculate offset of address in page table - page number. | |
| static ddekit_pte | ddekit_get_pte (void *p) |
| Get page-table entry. | |
| static void | ddekit_set_pte (void *p, ddekit_pte pte) |
| Set page-table entry. | |
| void | ddekit_pte_set_region (void *virtual, ddekit_addr_t physical, int pages, int type) |
| Set virtual->physical mapping for VM region. | |
| void | ddekit_pte_clear_region (void *virtual, int type) |
| Clear virtual->physical mapping for VM region. | |
Variables | |
| static ddekit_pte * | page_dir [PDIR_ENTRIES] |
| anonymous enum |
Definition at line 26 of file pgtab-old.c.
| static ddekit_pte ddekit_get_pte | ( | void * | p | ) | [inline, static] |
| void ddekit_pte_clear_region | ( | void * | virtual, | |
| int | type | |||
| ) |
Clear virtual->physical mapping for VM region.
| virtual | virtual start address for region | |
| type | pte type for region |
Definition at line 176 of file pgtab-old.c.
| void ddekit_pte_set_region | ( | void * | virtual, | |
| ddekit_addr_t | physical, | |||
| int | pages, | |||
| int | type | |||
| ) |
Set virtual->physical mapping for VM region.
| virtual | virtual start address for region | |
| physical | physical start address for region | |
| pages | number of pages in region | |
| type | pte type for region |
Definition at line 128 of file pgtab-old.c.
| static void ddekit_set_pte | ( | void * | p, | |
| ddekit_pte | pte | |||
| ) | [inline, static] |
| static unsigned pg_num | ( | l4_addr_t | addr | ) | [inline, static] |
| static unsigned pt_num | ( | l4_addr_t | addr | ) | [inline, static] |
Calculate offset of address in page directory - page-table number.
Definition at line 55 of file pgtab-old.c.
ddekit_pte* page_dir[PDIR_ENTRIES] [static] |
Definition at line 67 of file pgtab-old.c.
1.5.6