: "r" (i), "i" (ASI_DCACHE_TAG)); 
: "r" (addr), "i" (ASI_DCACHE_TAG)); 
static void cheetah_flush_dcache(void){	unsigned long i;	for (i = 0; i < (1 << 16); i += (1 << 5)) {		__asm__ __volatile__("stxa %%g0, [%0] %1\n\t"				     "membar #Sync"				     : /* no outputs */				     : "r" (i), "i" (ASI_DCACHE_TAG));	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/80dc0d6b44ce0f01df58d8899e46612690ed7d81/traps.c/clean/arch/sparc64/kernel/traps.c