__bad_pagetable   152 arch/alpha/include/asm/pgtable.h extern pmd_t * __bad_pagetable(void);
__bad_pagetable   156 arch/alpha/include/asm/pgtable.h #define BAD_PAGETABLE	__bad_pagetable()