tag	line	file	source code
set_pgdir	67	mm/vmalloc.c	set_pgdir(dindex,0);
set_pgdir	88	mm/vmalloc.c	set_pgdir(dindex, page | PAGE_SHARED);