tag	line	file	source code
old_page_dir	171	mm/memory.c	unsigned long old_pg_dir, *old_page_dir;
old_page_dir	179	mm/memory.c	old_page_dir = (unsigned long *) old_pg_dir;
old_page_dir	181	mm/memory.c	for (i = 0 ; i < 1024 ; i++,old_page_dir++,new_page_dir++) {
old_page_dir	186	mm/memory.c	old_pg_table = *old_page_dir;
old_page_dir	192	mm/memory.c	*old_page_dir = 0;