tag	line	file	source code
empty_bad_page	55	arch/i386/mm/init.c	extern char empty_bad_page[PAGE_SIZE];
empty_bad_page	59	arch/i386/mm/init.c	"D" ((long) empty_bad_page),
empty_bad_page	62	arch/i386/mm/init.c	return pte_mkdirty(mk_pte((unsigned long) empty_bad_page, PAGE_SHARED));
empty_bad_page	68	arch/mips/mm/init.c	extern char empty_bad_page[PAGE_SIZE];
empty_bad_page	80	arch/mips/mm/init.c	:"0" ((long) empty_bad_page),
empty_bad_page	83	arch/mips/mm/init.c	return pte_mkdirty(mk_pte((unsigned long) empty_bad_page, PAGE_SHARED));
empty_bad_page	20	include/asm-sparc/system.h	#define EMPTY_PGT       (&empty_bad_page)
empty_bad_page	41	include/asm-sparc/system.h	extern unsigned long empty_bad_page;