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;