tag	line	file	source code
__bad_page	48	arch/alpha/mm/init.c	pte_t __bad_page(void)
__bad_page	64	arch/i386/mm/init.c	pte_t __bad_page(void)
__bad_page	57	arch/m68k/mm/init.c	pte_t __bad_page(void)
__bad_page	141	arch/mips/mm/init.c	pte_t __bad_page(void)
__bad_page	91	arch/ppc/mm/init.c	pte_t __bad_page(void)
__bad_page	50	arch/sparc/mm/init.c	pte_t __bad_page(void)