diff options
author | Adrian Bunk <bunk@kernel.org> | 2008-02-13 23:31:31 +0200 |
---|---|---|
committer | Ingo Molnar <mingo@elte.hu> | 2008-02-14 23:30:19 +0100 |
commit | cae30f8270005940902c5807146fbaa36875e6e9 (patch) | |
tree | 7f68c00be48167dbd822141e5cfc8205be64f4ac /arch | |
parent | e8bff74afbdb4ad72bf6135c84289c47cf557892 (diff) |
x86: make dump_pagetable() static
dump_pagetable() can now become static.
Signed-off-by: Adrian Bunk <bunk@kernel.org>
Acked-by: Arjan van de Ven <arjan@linux.intel.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
Diffstat (limited to 'arch')
-rw-r--r-- | arch/x86/mm/fault.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/arch/x86/mm/fault.c b/arch/x86/mm/fault.c index 621afb6343dc..fdc667422df9 100644 --- a/arch/x86/mm/fault.c +++ b/arch/x86/mm/fault.c @@ -186,7 +186,7 @@ static int bad_address(void *p) } #endif -void dump_pagetable(unsigned long address) +static void dump_pagetable(unsigned long address) { #ifdef CONFIG_X86_32 __typeof__(pte_val(__pte(0))) page; |