unsigned long i; 
unsigned int icache_size, icache_line_size; unsigned long addr;  icache_size = local_cpu_data().icache_size; icache_line_size = local_cpu_data().icache_line_size; 
static void __cheetah_flush_icache(void){	unsigned long i;	/* Clear the valid bits in all the tags. */	for (i = 0; i < (1 << 15); i += (1 << 5)) {		__asm__ __volatile__("stxa %%g0, [%0] %1\n\t"				     "membar #Sync"				     : /* no outputs */				     : "r" (i | (2 << 3)), "i" (ASI_IC_TAG));	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/80dc0d6b44ce0f01df58d8899e46612690ed7d81/traps.c/buggy/arch/sparc64/kernel/traps.c