taglinefilesource code
__bad_page48arch/alpha/mm/init.cpte_t __bad_page(void)
__bad_page64arch/i386/mm/init.cpte_t __bad_page(void)
__bad_page141arch/mips/mm/init.cpte_t __bad_page(void)
__bad_page91arch/ppc/mm/init.cpte_t __bad_page(void)
__bad_page50arch/sparc/mm/init.cpte_t __bad_page(void)