EMPTY_PGT          80 arch/alpha/mm/init.c 	memset((void *) EMPTY_PGT, 0, PAGE_SIZE);
EMPTY_PGT          81 arch/alpha/mm/init.c 	return (pmd_t *) EMPTY_PGT;