tag	line	file	source code
__bad_page	46	arch/alpha/mm/init.c	pte_t __bad_page(void)
__bad_page	59	arch/i386/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	49	arch/sparc/mm/init.c	pte_t __bad_page(void)