tag	line	file	source code
tsetup_srmmu_stackchk	2408	arch/sparc/mm/srmmu.c	tsetup_srmmu_stackchk, srmmu_rett_stackchk;
tsetup_srmmu_stackchk	2428	arch/sparc/mm/srmmu.c	PATCH_BRANCH(tsetup_mmu_patchme, tsetup_srmmu_stackchk);