tag	line	file	source code
srmmu_reti_stackchk	2411	arch/sparc/mm/srmmu.c	extern unsigned long rirq_mmu_patchme, srmmu_reti_stackchk;
srmmu_reti_stackchk	2431	arch/sparc/mm/srmmu.c	PATCH_BRANCH(rirq_mmu_patchme, srmmu_reti_stackchk);