diff options
| author | Mike Larkin <mlarkin@cvs.openbsd.org> | 2016-04-13 04:44:42 +0000 |
|---|---|---|
| committer | Mike Larkin <mlarkin@cvs.openbsd.org> | 2016-04-13 04:44:42 +0000 |
| commit | 1fb185ee12730afe01fbb6c26d2b22e35876f87c (patch) | |
| tree | 65d4d9ecdd17f9fdd621769134262ec194895cb1 /sys/arch/amd64 | |
| parent | c947416f8cc9eda6a861ad6b8a0a0db396438b30 (diff) | |
add missing arguments to debug printf
Diffstat (limited to 'sys/arch/amd64')
| -rw-r--r-- | sys/arch/amd64/amd64/vmm.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/sys/arch/amd64/amd64/vmm.c b/sys/arch/amd64/amd64/vmm.c index d747166368c..8b5b6618e0c 100644 --- a/sys/arch/amd64/amd64/vmm.c +++ b/sys/arch/amd64/amd64/vmm.c @@ -1,4 +1,4 @@ -/* $OpenBSD: vmm.c,v 1.52 2016/04/12 06:41:09 mlarkin Exp $ */ +/* $OpenBSD: vmm.c,v 1.53 2016/04/13 04:44:41 mlarkin Exp $ */ /* * Copyright (c) 2014 Mike Larkin <mlarkin@openbsd.org> * @@ -3183,7 +3183,8 @@ vmx_handle_exit(struct vcpu *vcpu) break; case VMX_EXIT_TRIPLE_FAULT: #ifdef VMM_DEBUG - DPRINTF("vmx_handle_exit: vm %d vcpu %d triple fault\n"); + DPRINTF("vmx_handle_exit: vm %d vcpu %d triple fault\n", + vcpu->vc_parent->vm_id, vcpu->vc_id); vmx_vcpu_dump_regs(vcpu); dump_vcpu(vcpu); #endif /* VMM_DEBUG */ |