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;
