taglinefilesource code
BAD_PAGE53arch/i386/mm/init.c:"a" (pte_val(BAD_PAGE)),
BAD_PAGE73arch/mips/mm/init.c:"r" (pte_val(BAD_PAGE)),
BAD_PAGE86arch/mips/mm/init.c:"r" (pte_val(BAD_PAGE)),
BAD_PAGE83arch/ppc/mm/init.c:"r" (pte_val(BAD_PAGE)),
BAD_PAGE615ipc/shm.creturn BAD_PAGE;
BAD_PAGE619ipc/shm.creturn BAD_PAGE;
BAD_PAGE624ipc/shm.creturn BAD_PAGE;
BAD_PAGE630ipc/shm.creturn BAD_PAGE;
BAD_PAGE634ipc/shm.creturn BAD_PAGE;
BAD_PAGE642ipc/shm.creturn BAD_PAGE;
BAD_PAGE634mm/memory.cset_pte(page_table, BAD_PAGE);
BAD_PAGE750mm/memory.cput_page(page_table, BAD_PAGE);
BAD_PAGE919mm/memory.cput_page(page_table, BAD_PAGE);
BAD_PAGE284mm/page_alloc.cset_pte(page_table, BAD_PAGE);