tag	line	file	source code
ppage	470	mm/swap.c	unsigned long page, *ppage;
ppage	485	mm/swap.c	ppage = pgt + ((unsigned long *) p->tss.cr3);
ppage	486	mm/swap.c	page = *ppage;
ppage	491	mm/swap.c	*ppage = 0;
ppage	496	mm/swap.c	ppage = (unsigned long *) (page & 0xfffff000);
ppage	497	mm/swap.c	for (pg = 0 ; pg < 1024 ; pg++,ppage++) {
ppage	498	mm/swap.c	page = *ppage;
ppage	504	mm/swap.c	*ppage = 0;
ppage	517	mm/swap.c	if (*ppage == page) {
ppage	518	mm/swap.c	*ppage = tmp | (PAGE_DIRTY | PAGE_PRIVATE);