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