tag	line	file	source code
__bad_pagetable	42	arch/alpha/mm/init.c	pmd_t * __bad_pagetable(void)
__bad_pagetable	41	arch/i386/mm/init.c	pte_t * __bad_pagetable(void)
__bad_pagetable	45	arch/mips/mm/init.c	pte_t * __bad_pagetable(void)
__bad_pagetable	47	arch/sparc/mm/init.c	pte_t *__bad_pagetable(void)