tag	line	file	source code
old_pg_dir	190	mm/memory.c	unsigned long old_pg_dir, *old_page_dir;
old_pg_dir	196	mm/memory.c	old_pg_dir = current->tss.cr3;
old_pg_dir	198	mm/memory.c	old_page_dir = (unsigned long *) old_pg_dir;