diff options
| author |   mlarkin <mlarkin@openbsd.org> | 2016-11-08 07:10:55 +0000 |
|---|---|---|
| committer | mlarkin <mlarkin@openbsd.org> | 2016-11-08 07:10:55 +0000 |
| commit | a610cb8012a4f6f6d340cc386c9d952c8258d29e (patch) | |
| tree | 3d4396396eef75810819fb0c7ab054e69ba1d6b9 | |
| parent | Remove dead store. From Michael W. Bombardieri <mb at ii.net>. Thanks. (diff) | |
| download | wireguard-openbsd-a610cb8012a4f6f6d340cc386c9d952c8258d29e.tar.xz wireguard-openbsd-a610cb8012a4f6f6d340cc386c9d952c8258d29e.zip | |
fix debug build
| -rw-r--r-- | sys/arch/amd64/amd64/vmm.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sys/arch/amd64/amd64/vmm.c b/sys/arch/amd64/amd64/vmm.c index a13d7dad8d7..fc1b999e251 100644 --- a/sys/arch/amd64/amd64/vmm.c +++ b/sys/arch/amd64/amd64/vmm.c @@ -1,4 +1,4 @@ -/* $OpenBSD: vmm.c,v 1.95 2016/10/29 09:24:54 reyk Exp $ */ +/* $OpenBSD: vmm.c,v 1.96 2016/11/08 07:10:55 mlarkin Exp $ */ /* * Copyright (c) 2014 Mike Larkin <mlarkin@openbsd.org> * @@ -5107,7 +5107,7 @@ vmx_vcpu_dump_regs(struct vcpu *vcpu) msr_store = (struct vmx_msr_store *)vcpu->vc_vmx_msr_exit_save_va; for (i = 0; i < VMX_NUM_MSR_STORE; i++) { - DPRINTF(" MSR %d @ %p : 0x%08x (%s), " + DPRINTF(" MSR %d @ %p : 0x%08llx (%s), " "value=0x%016llx ", i, &msr_store[i], msr_store[i].vms_index, msr_name_decode(msr_store[i].vms_index), |