next up previous contents index
Next: (X86) Base Environment: Protected-mode Up: (X86) Base Environment: Page Previous: 13.9.15 pdir_dump: dump the

13.9.16 ptab_dump: dump the contents of a page table

   

SYNOPSIS

#include <oskit/x86/base_paging.h>

void ptab_dump(oskit_addr_t ptab_pa, oskit_addr_t base_la);

DESCRIPTION

This is primarily a helper function for pdir_dump, but it can also be used independently, to dump the contents of an individual page table. For output purposes, the page table is assumed to reside at base_la in ``some'' linear address space: in other words, this parameter provides the topmost ten bits in the linear addresses dumped by this routine. Contiguous ranges of identical mappings referring to successive physical pages are collapsed into a single line for display purposes. The permissions and other page directory/page table entry flags are expanded out as human-readable flag names.

PARAMETERS

pdir_pa
Physical address of the page table to dump.
base_la
Linear address at which this page table resides, for purposes of displaying linear source addresses. Must be 4MB aligned.

DEPENDENCIES

printf
12.6
phystokv
13.6.2



Utah Flux Research Group