cpuid_ebx
static inline u32 cpuid_ebx(u32 op)
static inline unsigned int cpuid_ebx(unsigned int op) { return 0; };