tag	line	file	source code
new_page_table	203	mm/memory.c	unsigned long new_pg_table, *new_page_table;
new_page_table	224	mm/memory.c	new_page_table = (unsigned long *) (0xfffff000 & new_pg_table);
new_page_table	225	mm/memory.c	for (j = 0 ; j < 1024 ; j++,old_page_table++,new_page_table++) {
new_page_table	231	mm/memory.c	*new_page_table = swap_duplicate(pg);
new_page_table	236	mm/memory.c	*new_page_table = pg;