#include <oskit/x86/base_paging.h>void ptab_dump(oskit_addr_t ptab_pa, oskit_addr_t base_la);
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.
- 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.
- printf
- 9.6
- phystokv
- 10.6.2