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