tag	line	file	source code
flush_ei_ctx	64	arch/sparc/mm/mbus.c	flush_ei_ctx(vaddr);
flush_ei_ctx	427	arch/sparc/mm/srmmu.c	flush_ei_ctx(0x0);
flush_ei_ctx	667	arch/sparc/mm/srmmu.c	flush_ei_ctx(0x0);