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	506	mm/memory.c	forget_pte(oldpage);