tag	line	file	source code
srmmu_is_bad	1405	arch/sparc/mm/srmmu.c	srmmu_is_bad();
srmmu_is_bad	1432	arch/sparc/mm/srmmu.c	srmmu_is_bad();