/* Order update */ asm volatile("sync":::"memory"); } 
/* Order update */ asm volatile("sync":::"memory"); 
void stab_initialize(unsigned long stab){	unsigned long vsid = get_kernel_vsid(KERNELBASE);	if (cpu_has_feature(CPU_FTR_SLB)) {		slb_initialize();	} else {		asm volatile("isync; slbia; isync":::"memory");		make_ste(stab, GET_ESID(KERNELBASE), vsid);		/* Order update */		asm volatile("sync":::"memory");	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/3c726f8dee6f55e96475574e9f645327e461884c/stab.c/clean/arch/powerpc/mm/stab.c