|
@@ -1406,7 +1406,7 @@ static int hyperv_fill_cpuids(CPUState *cs,
|
|
c->edx = cpu->hyperv_limits[2];
|
|
c->edx = cpu->hyperv_limits[2];
|
|
|
|
|
|
if (hyperv_feat_enabled(cpu, HYPERV_FEAT_EVMCS)) {
|
|
if (hyperv_feat_enabled(cpu, HYPERV_FEAT_EVMCS)) {
|
|
- __u32 function;
|
|
|
|
|
|
+ uint32_t function;
|
|
|
|
|
|
/* Create zeroed 0x40000006..0x40000009 leaves */
|
|
/* Create zeroed 0x40000006..0x40000009 leaves */
|
|
for (function = HV_CPUID_IMPLEMENT_LIMITS + 1;
|
|
for (function = HV_CPUID_IMPLEMENT_LIMITS + 1;
|