tag	line	file	source code
forget_pte	348	mm/memory.c	forget_pte(page);
forget_pte	416	mm/memory.c	forget_pte(oldpage);
forget_pte	484	mm/memory.c	forget_pte(oldpage);