[src/trunk]: src/sys/dev/nvmm/x86 vmx_vmptrst(): only used when DIAGNOSTIC

[tnn <tnn%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/2db57eece4ce
branches:  trunk
changeset: 970090:2db57eece4ce
user:      tnn <tnn%NetBSD.org@localhost>
date:      Thu Mar 12 13:01:59 2020 +0000

description:
vmx_vmptrst(): only used when DIAGNOSTIC

diffstat:

 sys/dev/nvmm/x86/nvmm_x86_vmx.c |  6 ++++--
 1 files changed, 4 insertions(+), 2 deletions(-)

diffs (34 lines):

diff -r 88e62d69cf37 -r 2db57eece4ce sys/dev/nvmm/x86/nvmm_x86_vmx.c
--- a/sys/dev/nvmm/x86/nvmm_x86_vmx.c   Thu Mar 12 12:57:45 2020 +0000
+++ b/sys/dev/nvmm/x86/nvmm_x86_vmx.c   Thu Mar 12 13:01:59 2020 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: nvmm_x86_vmx.c,v 1.49 2020/02/21 00:26:22 joerg Exp $  */
+/*     $NetBSD: nvmm_x86_vmx.c,v 1.50 2020/03/12 13:01:59 tnn Exp $    */
 
 /*
  * Copyright (c) 2018-2019 The NetBSD Foundation, Inc.
@@ -30,7 +30,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: nvmm_x86_vmx.c,v 1.49 2020/02/21 00:26:22 joerg Exp $");
+__KERNEL_RCSID(0, "$NetBSD: nvmm_x86_vmx.c,v 1.50 2020/03/12 13:01:59 tnn Exp $");
 
 #include <sys/param.h>
 #include <sys/systm.h>
@@ -134,6 +134,7 @@
        );
 }
 
+#ifdef DIAGNOSTIC
 static inline paddr_t
 vmx_vmptrst(void)
 {
@@ -148,6 +149,7 @@
 
        return pa;
 }
+#endif
 
 static inline void
 vmx_vmptrld(paddr_t *pa)