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