tag	line	file	source code
__bad_pagetable	41	arch/alpha/mm/init.c	unsigned long __bad_pagetable(void)
__bad_pagetable	39	arch/i386/mm/init.c	unsigned long __bad_pagetable(void)
__bad_pagetable	134	arch/mips/mm/fault.c	unsigned long __bad_pagetable(void)
__bad_pagetable	186	arch/sparc/mm/fault.c	unsigned long __bad_pagetable(void)