tag	line	file	source code
oldpage	439	mm/memory.c	pte_t oldpage = *pte;
oldpage	441	mm/memory.c	forget_pte(oldpage);
oldpage	505	mm/memory.c	pte_t oldpage = *pte;
oldpage	509	mm/memory.c	forget_pte(oldpage);