tag	line	file	source code
forget_pte	380	mm/memory.c	forget_pte(page);
forget_pte	440	mm/memory.c	forget_pte(oldpage);
forget_pte	512	mm/memory.c	forget_pte(oldpage);