tag	line	file	source code
__bad_page	48	arch/alpha/mm/init.c	pte_t __bad_page(void)
__bad_page	53	arch/i386/mm/init.c	pte_t __bad_page(void)
__bad_page	66	arch/mips/mm/init.c	pte_t __bad_page(void)
__bad_page	68	arch/sparc/mm/init.c	pte_t __bad_page(void)