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;