CPUID_INDEX_MASK
u32 range_idx = index & CPUID_INDEX_MASK;
#define CPUID_FUNCTION_MASK (~CPUID_INDEX_MASK)