taglinefilesource code
empty_bad_page943mm/memory.cextern char empty_bad_page[PAGE_SIZE];
empty_bad_page947mm/memory.c"D" ((long) empty_bad_page),
empty_bad_page950mm/memory.creturn (unsigned long) empty_bad_page;