tag	line	file	source code
old_page_table	202	mm/memory.c	unsigned long old_pg_table, *old_page_table;
old_page_table	223	mm/memory.c	old_page_table = (unsigned long *) (0xfffff000 & old_pg_table);
old_page_table	225	mm/memory.c	for (j = 0 ; j < 1024 ; j++,old_page_table++,new_page_table++) {
old_page_table	227	mm/memory.c	pg = *old_page_table;
old_page_table	239	mm/memory.c	*old_page_table = pg;