tag	line	file	source code
SRMMU_PAGE_KERNEL	671	arch/sparc/mm/srmmu.c	*ptep = srmmu_mk_pte(vaddr, SRMMU_PAGE_KERNEL);
SRMMU_PAGE_KERNEL	710	arch/sparc/mm/srmmu.c	*ptep++ = srmmu_mk_pte((unsigned int) start, SRMMU_PAGE_KERNEL);
SRMMU_PAGE_KERNEL	713	arch/sparc/mm/srmmu.c	SRMMU_PAGE_KERNEL);
SRMMU_PAGE_KERNEL	716	arch/sparc/mm/srmmu.c	SRMMU_PAGE_KERNEL);
SRMMU_PAGE_KERNEL	719	arch/sparc/mm/srmmu.c	SRMMU_PAGE_KERNEL);
SRMMU_PAGE_KERNEL	845	arch/sparc/mm/srmmu.c	page_kernel = SRMMU_PAGE_KERNEL;