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