extern inline unsigned int cpuid_ecx(unsigned int op) 
static inline unsigned int cpuid_ecx(unsigned int op) 
extern inline unsigned int cpuid_ecx(unsigned int op){	unsigned int eax, ecx;	__asm__("cpuid"		: "=a" (eax), "=c" (ecx)		: "0" (op)		: "bx", "dx" );	return ecx;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/9c0aa0f9a16557a3dd9b7b0d39bc67ddf1fa0b32/msr.h/buggy/include/asm-x86_64/msr.h