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