tag	line	file	source code
SRMMU_PAGE_KERNEL	1042	arch/sparc/mm/srmmu.c	*ptep = srmmu_mk_pte(start, SRMMU_PAGE_KERNEL);
SRMMU_PAGE_KERNEL	1482	arch/sparc/mm/srmmu.c	page_kernel = SRMMU_PAGE_KERNEL;