tag	line	file	source code
BAD_PAGE	57	arch/i386/mm/init.c	:"a" (pte_val(BAD_PAGE)),
BAD_PAGE	73	arch/mips/mm/init.c	:"r" (pte_val(BAD_PAGE)),
BAD_PAGE	86	arch/mips/mm/init.c	:"r" (pte_val(BAD_PAGE)),
BAD_PAGE	83	arch/ppc/mm/init.c	:"r" (pte_val(BAD_PAGE)),
BAD_PAGE	616	ipc/shm.c	return BAD_PAGE;
BAD_PAGE	620	ipc/shm.c	return BAD_PAGE;
BAD_PAGE	625	ipc/shm.c	return BAD_PAGE;
BAD_PAGE	631	ipc/shm.c	return BAD_PAGE;
BAD_PAGE	635	ipc/shm.c	return BAD_PAGE;
BAD_PAGE	643	ipc/shm.c	return BAD_PAGE;
BAD_PAGE	639	mm/memory.c	set_pte(page_table, BAD_PAGE);
BAD_PAGE	765	mm/memory.c	pte = BAD_PAGE;
BAD_PAGE	934	mm/memory.c	put_page(page_table, BAD_PAGE);
BAD_PAGE	300	mm/page_alloc.c	set_pte(page_table, BAD_PAGE);