CPUID_RANGE
#define CPUID_RANGE_MAX(idx) (CPUID_RANGE(idx) + 0xffff)
if (WARN_ON_ONCE(CPUID_RANGE(start) != CPUID_RANGE(end)))
unsigned int range = CPUID_RANGE(start);