tag	line	file	source code
empty_bad_page_table	934	mm/memory.c	extern char empty_bad_page_table[PAGE_SIZE];
empty_bad_page_table	938	mm/memory.c	"D" ((long) empty_bad_page_table),
empty_bad_page_table	941	mm/memory.c	return (unsigned long) empty_bad_page_table;