__cpuid_read
__cpuid_read(leaf, subleaf, (u32 *)(regs)); \
__cpuid_read(leaf, 0, (u32 *)(regs)); \
__cpuid_read(leaf, subleaf, regs);