diff options
author | Arjan van de Ven <arjan@linux.intel.com> | 2008-04-17 11:40:45 -0400 |
---|---|---|
committer | Ingo Molnar <mingo@elte.hu> | 2008-04-17 11:40:45 -0400 |
commit | 926e5392ba8a388ae32ca0d2714cc2c73945c609 (patch) | |
tree | 2718b50b8b66a3614f47d3246b080ee8511b299e /arch/x86/mm/Makefile | |
parent | 2596e0fae094be9354b29ddb17e6326a18012e8c (diff) |
x86: add code to dump the (kernel) page tables for visual inspection by kernel developers
This patch adds code to the kernel to have an (optional)
/proc/kernel_page_tables debug file that basically dumps the kernel
pagetables; this allows us kernel developers to verify that nothing fishy is
going on and that the various mappings are set up correctly. This was quite
useful in finding various change_page_attr() bugs, and is very likely to be
useful in the future as well.
Signed-off-by: Arjan van de Ven <arjan@linux.intel.com>
Cc: mingo@elte.hu
Cc: tglx@tglx.de
Cc: hpa@zytor.com
Signed-off-by: Ingo Molnar <mingo@elte.hu>
Signed-off-by: Thomas Gleixner <tglx@linutronix.de>
Diffstat (limited to 'arch/x86/mm/Makefile')
-rw-r--r-- | arch/x86/mm/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/arch/x86/mm/Makefile b/arch/x86/mm/Makefile index 8e81660604bc..28632f42ca66 100644 --- a/arch/x86/mm/Makefile +++ b/arch/x86/mm/Makefile | |||
@@ -12,4 +12,5 @@ else | |||
12 | obj-$(CONFIG_NUMA) += numa_64.o | 12 | obj-$(CONFIG_NUMA) += numa_64.o |
13 | obj-$(CONFIG_K8_NUMA) += k8topology_64.o | 13 | obj-$(CONFIG_K8_NUMA) += k8topology_64.o |
14 | obj-$(CONFIG_ACPI_NUMA) += srat_64.o | 14 | obj-$(CONFIG_ACPI_NUMA) += srat_64.o |
15 | obj-$(CONFIG_X86_PTDUMP) += dump_pagetables.o | ||
15 | endif | 16 | endif |