taglinefilesource code
__bad_page50include/linux/mm.hextern unsigned long __bad_page(void);
__bad_page55include/linux/mm.h#define BAD_PAGE __bad_page()