next up previous contents index
Next: 10.9.4 ptab_find_pte: find an Up: (X86) Base Environment: Page Previous: 10.9.2 base_pdir_pa: initial kernel

10.9.3 pdir_find_pde: find an entry in a page directory given a linear address

   

SYNOPSIS

#include <oskit/x86/base_paging.h>

pd_entry_t *pdir_find_pde(oskit_addr_t pdir_pa, oskit_addr_t la);

DESCRIPTION

This primitive macro uses the appropriate bits in linear address la (bits 22-31) to look up a particular entry in the specified page directory. Note that this function takes the physical address of a page directory, but returns a kernel virtual address (i.e., an ordinary pointer to the selected page directory entry).

PARAMETERS

pdir_pa
Physical address of the page directory.
la
Linear address to be used to select a page directory entry.

RETURNS

Returns a pointer to the selected page directory entry.

DEPENDENCIES

phystokv
10.6.2



University of Utah Flux Research Group