tag	line	file	source code
SRMMU_PAGE_KERNEL	626	arch/sparc/mm/srmmu.c	*ptep = srmmu_mk_pte(vaddr, SRMMU_PAGE_KERNEL);
SRMMU_PAGE_KERNEL	663	arch/sparc/mm/srmmu.c	*ptep = srmmu_mk_pte((unsigned int) srmmu_init_alloc(&mempool, PAGE_SIZE), SRMMU_PAGE_KERNEL);
SRMMU_PAGE_KERNEL	690	arch/sparc/mm/srmmu.c	*ptep++ = srmmu_mk_pte((unsigned int) start, SRMMU_PAGE_KERNEL);
SRMMU_PAGE_KERNEL	693	arch/sparc/mm/srmmu.c	SRMMU_PAGE_KERNEL);
SRMMU_PAGE_KERNEL	696	arch/sparc/mm/srmmu.c	SRMMU_PAGE_KERNEL);
SRMMU_PAGE_KERNEL	699	arch/sparc/mm/srmmu.c	SRMMU_PAGE_KERNEL);
SRMMU_PAGE_KERNEL	864	arch/sparc/mm/srmmu.c	page_kernel = SRMMU_PAGE_KERNEL;