taglinefilesource code
__bad_pagetable69include/linux/mm.hextern unsigned long __bad_pagetable(void);
__bad_pagetable72include/linux/mm.h#define BAD_PAGETABLE __bad_pagetable()