tag	line	file	source code
SRMMU_PAGE_KERNEL	664	arch/sparc/mm/srmmu.c	*ptep = srmmu_mk_pte(vaddr, SRMMU_PAGE_KERNEL);
SRMMU_PAGE_KERNEL	703	arch/sparc/mm/srmmu.c	*ptep++ = srmmu_mk_pte((unsigned int) start, SRMMU_PAGE_KERNEL);
SRMMU_PAGE_KERNEL	706	arch/sparc/mm/srmmu.c	SRMMU_PAGE_KERNEL);
SRMMU_PAGE_KERNEL	709	arch/sparc/mm/srmmu.c	SRMMU_PAGE_KERNEL);
SRMMU_PAGE_KERNEL	712	arch/sparc/mm/srmmu.c	SRMMU_PAGE_KERNEL);
SRMMU_PAGE_KERNEL	838	arch/sparc/mm/srmmu.c	page_kernel = SRMMU_PAGE_KERNEL;