cpuid_refresh_range
void cpuid_refresh_range(struct cpuinfo_x86 *c, u32 start, u32 end);
cpuid_refresh_range(c, leaf, leaf);