Re: vmm/i386 VMM_DEBUG

[Philip Guenther]

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;