extern inline void sync_core(void) 
static inline void sync_core(void) 
extern inline void sync_core(void){ 	int tmp;	asm volatile("cpuid" : "=a" (tmp) : "0" (1) : "ebx","ecx","edx","memory");} 
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/9c0aa0f9a16557a3dd9b7b0d39bc67ddf1fa0b32/processor.h/buggy/include/asm-x86_64/processor.h