tag	line	file	source code
empty_bad_page	66	arch/i386/mm/init.c	extern char empty_bad_page[PAGE_SIZE];
empty_bad_page	70	arch/i386/mm/init.c	"D" ((long) empty_bad_page),
empty_bad_page	73	arch/i386/mm/init.c	return pte_mkdirty(mk_pte((unsigned long) empty_bad_page, PAGE_SHARED));
empty_bad_page	143	arch/mips/mm/init.c	extern char empty_bad_page[PAGE_SIZE];
empty_bad_page	144	arch/mips/mm/init.c	unsigned long page = (unsigned long)empty_bad_page;
empty_bad_page	95	arch/ppc/mm/init.c	extern char empty_bad_page[PAGE_SIZE];
empty_bad_page	107	arch/ppc/mm/init.c	:"0" ((long) empty_bad_page),
empty_bad_page	110	arch/ppc/mm/init.c	return pte_mkdirty(mk_pte((unsigned long) empty_bad_page, PAGE_SHARED));
empty_bad_page	12	include/asm-sparc/system.h	#define EMPTY_PGT       (&empty_bad_page)
empty_bad_page	32	include/asm-sparc/system.h	extern unsigned long empty_bad_page;