x86_64: kernel: cleanup of page table dumping.
authorSimon Gerber <simon.gerber@hp.com>
Mon, 4 Aug 2014 22:52:02 +0000 (15:52 -0700)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 4 May 2015 09:28:14 +0000 (11:28 +0200)
commit940083e4227a621c0e766b9e9d049bc5309aa5ce
tree0e7c3e8322596b95f6e086e327e1bd4191116542
parent5b109f51e9a13f714d59b2e19db29752a0f90484
x86_64: kernel: cleanup of page table dumping.

paging_dump_tables now finds the first pml4 entry of the "identity"-mapped RAM
and stops displaying page tables for all of it based on the offset configured
in /kernel/include/arch/x86_64/offset_targets.h.

We now also properly cast the base addresses of large/huge pages to genpaddr_t
before bitshifting to avoid sign extending. This is necessary because
bitfield fields are implicitly plain ints.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>
kernel/arch/x86_64/page_mappings_arch.c