tag	line	file	source code
SET_PAGE_DIR	117	kernel/fork.c	SET_PAGE_DIR(tsk, current->mm->pgd);
SET_PAGE_DIR	169	mm/memory.c	SET_PAGE_DIR(tsk, swapper_pg_dir);
SET_PAGE_DIR	187	mm/memory.c	SET_PAGE_DIR(tsk, new_pg);