pgtab-old.c File Reference

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_ptepage_dir [PDIR_ENTRIES]


Enumeration Type Documentation

anonymous enum

Enumerator:
PDIR_SHIFT 
PDIR_MASK 
PDIR_ENTRIES 
PTAB_ENTRIES 
PTAB_SIZE 

Definition at line 26 of file pgtab-old.c.


Function Documentation

static ddekit_pte ddekit_get_pte ( void *  p  )  [inline, static]

Get page-table entry.

Definition at line 73 of file pgtab-old.c.

void ddekit_pte_clear_region ( void *  virtual,
int  type 
)

Clear virtual->physical mapping for VM region.

Parameters:
virtual virtual start address for region
type pte type for region
XXX unused page-tables not free'd

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.

Parameters:
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]

Set page-table entry.

Definition at line 88 of file pgtab-old.c.

static unsigned pg_num ( l4_addr_t  addr  )  [inline, static]

Calculate offset of address in page table - page number.

Definition at line 62 of file pgtab-old.c.

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.


Variable Documentation

ddekit_pte* page_dir[PDIR_ENTRIES] [static]

Definition at line 67 of file pgtab-old.c.


Generated on Wed Apr 11 06:39:16 2012 for DDE - The L4 Device Driver Environment by  doxygen 1.5.6