tag	line	file	source code
__bad_page	47	arch/alpha/mm/init.c	unsigned long __bad_page(void)
__bad_page	51	arch/i386/mm/init.c	unsigned long __bad_page(void)
__bad_page	155	arch/mips/mm/fault.c	unsigned long __bad_page(void)
__bad_page	193	arch/sparc/mm/fault.c	unsigned long __bad_page(void)