tag	line	file	source code
EMPTY_PGT	43	arch/alpha/mm/init.c	memset((void *) EMPTY_PGT, 0, PAGE_SIZE);
EMPTY_PGT	44	arch/alpha/mm/init.c	return (pmd_t *) EMPTY_PGT;
EMPTY_PGT	46	arch/sparc/mm/init.c	memset((void *) EMPTY_PGT, 0, PAGE_SIZE);
EMPTY_PGT	47	arch/sparc/mm/init.c	return (pte_t *) EMPTY_PGT;