Hi,

Building with VMM_DEBUG enabled failed because a printf() warning
was treated as an error.

- Michael


cc1: warnings being treated as errors
/usr/src/src/sys/arch/i386/i386/vmm.c: In function 'vmm_handle_cpuid':
/usr/src/src/sys/arch/i386/i386/vmm.c:4355: warning: format '%llx' expects type 
'long long unsigned int', but argument 3 has type 'uint32_t'
*** Error 1 in /usr/src/src/sys/arch/i386/compile/GENERIC (Makefile:1021 
'vmm.o')

Index: vmm.c
===================================================================
RCS file: /cvs/src/sys/arch/i386/i386/vmm.c,v
retrieving revision 1.26
diff -u -p -u -r1.26 vmm.c
--- vmm.c       25 Mar 2017 22:24:01 -0000      1.26
+++ vmm.c       12 Apr 2017 05:00:03 -0000
@@ -4353,7 +4353,8 @@ vmm_handle_cpuid(struct vcpu *vcpu)
                } else {
                        /* Unsupported subleaf */
                        DPRINTF("%s: function 0x07 (SEFF) unsupported subleaf "
-                           "0x%llx not supported\n", __func__, *ecx);
+                           "0x%lx not supported\n", __func__,
+                           (unsigned long)*ecx);
                        *eax = 0;
                        *ebx = 0;
                        *ecx = 0;

Reply via email to