tag	line	file	source code
empty_bad_page_table	42	arch/i386/mm/init.c	extern char empty_bad_page_table[PAGE_SIZE];
empty_bad_page_table	46	arch/i386/mm/init.c	"D" ((long) empty_bad_page_table),
empty_bad_page_table	49	arch/i386/mm/init.c	return (pte_t *) empty_bad_page_table;
empty_bad_page_table	47	arch/mips/mm/init.c	extern char empty_bad_page_table[PAGE_SIZE];
empty_bad_page_table	60	arch/mips/mm/init.c	"0" ((long) empty_bad_page_table),
empty_bad_page_table	63	arch/mips/mm/init.c	return (pte_t *) empty_bad_page_table;