On Wed, 12 Apr 2017, Michael W. Bombardieri wrote: > Building with VMM_DEBUG enabled failed because a printf() warning was > treated as an error. ... > DPRINTF("%s: function 0x07 (SEFF) unsupported subleaf " > - "0x%llx not supported\n", __func__, *ecx); > + "0x%lx not supported\n", __func__, > + (unsigned long)*ecx);
Hmm, uint32_t is expected to be unsigned int in other printf formats in the file (and elsewhere in the kernel), so I think the cast is unnecessary here and we can just go with: --- vmm.c 25 Mar 2017 22:24:01 -0000 1.26 +++ vmm.c 12 Apr 2017 04:33:04 -0000 @@ -4353,7 +4353,7 @@ vmm_handle_cpuid(struct vcpu *vcpu) } else { /* Unsupported subleaf */ DPRINTF("%s: function 0x07 (SEFF) unsupported subleaf " - "0x%llx not supported\n", __func__, *ecx); + "0x%x not supported\n", __func__, *ecx); *eax = 0; *ebx = 0; *ecx = 0;