CPUID_BASE_START
#define CPUID_BASE_END CPUID_RANGE_MAX(CPUID_BASE_START)
{ CPUID_BASE_START, CPUID_BASE_END },
case CPUID_BASE_START: return l0 ? l0->max_std_leaf : 0;