tag	line	file	source code
forget_pte	379	mm/memory.c	forget_pte(page);
forget_pte	439	mm/memory.c	forget_pte(oldpage);
forget_pte	507	mm/memory.c	forget_pte(oldpage);