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