taglinefilesource code
BAD_PAGE53arch/i386/mm/init.c:"a" (pte_val(BAD_PAGE)),
BAD_PAGE59arch/mips/mm/init.c:"r" (pte_val(BAD_PAGE)),
BAD_PAGE85arch/ppc/mm/init.c:"r" (pte_val(BAD_PAGE)),
BAD_PAGE614ipc/shm.creturn BAD_PAGE;
BAD_PAGE618ipc/shm.creturn BAD_PAGE;
BAD_PAGE623ipc/shm.creturn BAD_PAGE;
BAD_PAGE629ipc/shm.creturn BAD_PAGE;
BAD_PAGE633ipc/shm.creturn BAD_PAGE;
BAD_PAGE641ipc/shm.creturn BAD_PAGE;
BAD_PAGE616mm/memory.cset_pte(page_table, BAD_PAGE);
BAD_PAGE732mm/memory.cput_page(page_table, BAD_PAGE);
BAD_PAGE1094mm/memory.cput_page(page_table, BAD_PAGE);
BAD_PAGE385mm/swap.cset_pte(page_table, BAD_PAGE);