tag	line	file	source code
EMPTY_PGE	48	arch/alpha/mm/init.c	memset((void *) EMPTY_PGE, 0, PAGE_SIZE);
EMPTY_PGE	49	arch/alpha/mm/init.c	return pte_mkdirty(mk_pte((unsigned long) EMPTY_PGE, PAGE_SHARED));
EMPTY_PGE	51	arch/sparc/mm/init.c	memset((void *) EMPTY_PGE, 0, PAGE_SIZE);
EMPTY_PGE	52	arch/sparc/mm/init.c	return pte_mkdirty(mk_pte((unsigned long) EMPTY_PGE, PAGE_SHARED));