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