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