tag	line	file	source code
__bad_pagetable	40	arch/alpha/mm/init.c	pmd_t * __bad_pagetable(void)
__bad_pagetable	47	arch/i386/mm/init.c	pte_t * __bad_pagetable(void)
__bad_pagetable	46	arch/mips/mm/init.c	pte_t * __bad_pagetable(void)
__bad_pagetable	67	arch/ppc/mm/init.c	pte_t * __bad_pagetable(void)
__bad_pagetable	43	arch/sparc/mm/init.c	pte_t *__bad_pagetable(void)