tag	line	file	source code
forget_pte	342	mm/memory.c	forget_pte(page);
forget_pte	402	mm/memory.c	forget_pte(oldpage);
forget_pte	472	mm/memory.c	forget_pte(oldpage);