tag	line	file	source code
SUN4C_PAGE_KERNEL	590	arch/sparc/mm/sun4c.c	pte |= pgprot_val(SUN4C_PAGE_KERNEL);
SUN4C_PAGE_KERNEL	641	arch/sparc/mm/sun4c.c	((((page) - PAGE_OFFSET) >> PAGE_SHIFT) | pgprot_val(SUN4C_PAGE_KERNEL))
SUN4C_PAGE_KERNEL	789	arch/sparc/mm/sun4c.c	pte = ((vpage-PAGE_OFFSET) >> PAGE_SHIFT) | pgprot_val(SUN4C_PAGE_KERNEL);
SUN4C_PAGE_KERNEL	1374	arch/sparc/mm/sun4c.c	page_kernel = SUN4C_PAGE_KERNEL;