tag	line	file	source code
ppage	472	mm/swap.c	unsigned long page, *ppage;
ppage	487	mm/swap.c	ppage = pgt + ((unsigned long *) p->tss.cr3);
ppage	488	mm/swap.c	page = *ppage;
ppage	493	mm/swap.c	*ppage = 0;
ppage	498	mm/swap.c	ppage = (unsigned long *) (page & 0xfffff000);
ppage	499	mm/swap.c	for (pg = 0 ; pg < 1024 ; pg++,ppage++) {
ppage	500	mm/swap.c	page = *ppage;
ppage	506	mm/swap.c	*ppage = 0;
ppage	519	mm/swap.c	if (*ppage == page) {
ppage	520	mm/swap.c	*ppage = tmp | (PAGE_DIRTY | 7);