__asm__ __volatile__ ("membar #Sync" : : : "memory"); 
static __inline__ void spitfire_put_dcache_tag(unsigned long addr, unsigned long tag){	__asm__ __volatile__("stxa	%0, [%1] %2\n\t"			     "membar	#Sync"			     : /* No outputs */			     : "r" (tag), "r" (addr), "i" (ASI_DCACHE_TAG));	__asm__ __volatile__ ("membar #Sync" : : : "memory");}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b445e26cbf784cdba10f2b6c3e2cd3ee7bab360a/spitfire.h/buggy/include/asm-sparc64/spitfire.h