diff options
| author | Mike Larkin <mlarkin@cvs.openbsd.org> | 2016-04-26 16:11:28 +0000 |
|---|---|---|
| committer | Mike Larkin <mlarkin@cvs.openbsd.org> | 2016-04-26 16:11:28 +0000 |
| commit | 988b5777ad3757a7e46ae2a29f6ba8ce0fc140a3 (patch) | |
| tree | 2ec3b400e3ec07e24110d29ca27302cb60160a87 | |
| parent | 8ba8329c298b444fc979baab007bf1b78263925b (diff) | |
missed a block of code while merging the previous change.
| -rw-r--r-- | sys/arch/amd64/amd64/vmm.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/sys/arch/amd64/amd64/vmm.c b/sys/arch/amd64/amd64/vmm.c index c078393c9d0..efcacf17701 100644 --- a/sys/arch/amd64/amd64/vmm.c +++ b/sys/arch/amd64/amd64/vmm.c @@ -1,4 +1,4 @@ -/* $OpenBSD: vmm.c,v 1.60 2016/04/26 15:57:09 mlarkin Exp $ */ +/* $OpenBSD: vmm.c,v 1.61 2016/04/26 16:11:27 mlarkin Exp $ */ /* * Copyright (c) 2014 Mike Larkin <mlarkin@openbsd.org> * @@ -4256,10 +4256,12 @@ vmx_vcpu_dump_regs(struct vcpu *vcpu) for (i = 0; i < VMX_NUM_MSR_STORE; i++) { DPRINTF(" MSR %d @ %p : 0x%08x (%s), " - "value=0x%016llx\n", + "value=0x%016llx ", i, &msr_store[i], msr_store[i].vms_index, msr_name_decode(msr_store[i].vms_index), msr_store[i].vms_data); + vmm_decode_msr_value(msr_store[i].vms_index, + msr_store[i].vms_data); } DPRINTF(" last PIC irq=%d\n", vcpu->vc_intr); |