From 3aa75afe7a4dcc1358a159ebd7e7beecf2285b4c Mon Sep 17 00:00:00 2001
From: jan <jan@openbsd.org>
Date: Thu, 11 Jan 2024 17:13:48 +0000
Subject: [PATCH] fix build with VMM_DEBUG option

ok dv@
---
 sys/arch/amd64/amd64/vmm_machdep.c | 3 +--
 sys/dev/vmm/vmm.h                  | 6 +++++-
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/sys/arch/amd64/amd64/vmm_machdep.c b/sys/arch/amd64/amd64/vmm_machdep.c
index 0be59cb4466..53f4424dc48 100644
--- a/sys/arch/amd64/amd64/vmm_machdep.c
+++ b/sys/arch/amd64/amd64/vmm_machdep.c
@@ -1,4 +1,4 @@
-/* $OpenBSD: vmm_machdep.c,v 1.14 2024/01/10 04:13:59 dv Exp $ */
+/* $OpenBSD: vmm_machdep.c,v 1.15 2024/01/11 17:13:48 jan Exp $ */
 /*
  * Copyright (c) 2014 Mike Larkin <mlarkin@openbsd.org>
  *
@@ -158,7 +158,6 @@ static int vmx_remote_vmclear(struct cpu_info*, struct vcpu *);
 #endif
 
 #ifdef VMM_DEBUG
-void dump_vcpu(struct vcpu *);
 void vmx_vcpu_dump_regs(struct vcpu *);
 void vmx_dump_vmcs(struct vcpu *);
 const char *msr_name_decode(uint32_t);
diff --git a/sys/dev/vmm/vmm.h b/sys/dev/vmm/vmm.h
index 38b4a3f85f1..47f5e12cf4f 100644
--- a/sys/dev/vmm/vmm.h
+++ b/sys/dev/vmm/vmm.h
@@ -1,4 +1,4 @@
-/* $OpenBSD: vmm.h,v 1.3 2023/05/13 23:15:28 dv Exp $ */
+/* $OpenBSD: vmm.h,v 1.4 2024/01/11 17:13:48 jan Exp $ */
 /*
  * Copyright (c) 2014-2023 Mike Larkin <mlarkin@openbsd.org>
  *
@@ -203,5 +203,9 @@ int vm_resetcpu(struct vm_resetcpu_params *);
 int vcpu_must_stop(struct vcpu *);
 int vm_share_mem(struct vm_sharemem_params *, struct proc *);
 
+#ifdef VMM_DEBUG
+void dump_vcpu(struct vcpu *);
+#endif
+
 #endif /* _KERNEL */
 #endif /* DEV_VMM_H */
-- 
2.20.1