taglinefilesource code
empty_bad_page22include/linux/mm.hextern char empty_bad_page[PAGE_SIZE];
empty_bad_page26include/linux/mm.h"D" ((long) empty_bad_page),
empty_bad_page29include/linux/mm.hreturn (unsigned long) empty_bad_page;