tag	line	file	source code
ppage	477	mm/swap.c	unsigned long page, *ppage;
ppage	492	mm/swap.c	ppage = pgt + ((unsigned long *) p->tss.cr3);
ppage	493	mm/swap.c	page = *ppage;
ppage	498	mm/swap.c	*ppage = 0;
ppage	503	mm/swap.c	ppage = (unsigned long *) (page & 0xfffff000);
ppage	504	mm/swap.c	for (pg = 0 ; pg < 1024 ; pg++,ppage++) {
ppage	505	mm/swap.c	page = *ppage;
ppage	511	mm/swap.c	*ppage = 0;
ppage	524	mm/swap.c	if (*ppage == page) {
ppage	525	mm/swap.c	*ppage = tmp | (PAGE_DIRTY | 7);