__bad_page 151 arch/alpha/include/asm/pgtable.h extern pte_t __bad_page(void); __bad_page 157 arch/alpha/include/asm/pgtable.h #define BAD_PAGE __bad_page()