tag	line	file	source code
SUN4C_PAGE_KERNEL	488	arch/sparc/mm/sun4c.c	*ptep = sun4c_mk_pte(vaddr, SUN4C_PAGE_KERNEL);
SUN4C_PAGE_KERNEL	628	arch/sparc/mm/sun4c.c	page_kernel = SUN4C_PAGE_KERNEL;