EMPTY_PGE          87 arch/alpha/mm/init.c 	memset((void *) EMPTY_PGE, 0, PAGE_SIZE);
EMPTY_PGE          88 arch/alpha/mm/init.c 	return pte_mkdirty(mk_pte(virt_to_page(EMPTY_PGE), PAGE_SHARED));