tag	line	file	source code
SET_PAGE_DIR	150	mm/memory.c	SET_PAGE_DIR(tsk, new_pg);
SET_PAGE_DIR	178	mm/memory.c	SET_PAGE_DIR(tsk, swapper_pg_dir);
SET_PAGE_DIR	201	mm/memory.c	SET_PAGE_DIR(tsk, pg_dir);
SET_PAGE_DIR	220	mm/memory.c	SET_PAGE_DIR(tsk, new_page_dir);