taglinefilesource code
__bad_page47arch/alpha/mm/init.cpte_t __bad_page(void)
__bad_page60arch/i386/mm/init.cpte_t __bad_page(void)
__bad_page66arch/mips/mm/init.cpte_t __bad_page(void)
__bad_page93arch/ppc/mm/init.cpte_t __bad_page(void)
__bad_page49arch/sparc/mm/init.cpte_t __bad_page(void)