[src/trunk]: src/sys/dev/nvmm Don't forget to call (*machine_destroy) when ki...

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

details:   https://anonhg.NetBSD.org/src/rev/62b09a2fcc87
branches:  trunk
changeset: 998136:62b09a2fcc87
user:      maxv <maxv%NetBSD.org@localhost>
date:      Mon Apr 08 18:23:46 2019 +0000

description:
Don't forget to call (*machine_destroy) when killing VMs.

diffstat:

 sys/dev/nvmm/nvmm.c |  5 +++--
 1 files changed, 3 insertions(+), 2 deletions(-)

diffs (26 lines):

diff -r e2b38304ea48 -r 62b09a2fcc87 sys/dev/nvmm/nvmm.c
--- a/sys/dev/nvmm/nvmm.c       Mon Apr 08 18:21:42 2019 +0000
+++ b/sys/dev/nvmm/nvmm.c       Mon Apr 08 18:23:46 2019 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: nvmm.c,v 1.14 2019/04/08 18:21:42 maxv Exp $   */
+/*     $NetBSD: nvmm.c,v 1.15 2019/04/08 18:23:46 maxv Exp $   */
 
 /*
  * Copyright (c) 2018-2019 The NetBSD Foundation, Inc.
@@ -30,7 +30,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: nvmm.c,v 1.14 2019/04/08 18:21:42 maxv Exp $");
+__KERNEL_RCSID(0, "$NetBSD: nvmm.c,v 1.15 2019/04/08 18:23:46 maxv Exp $");
 
 #include <sys/param.h>
 #include <sys/systm.h>
@@ -222,6 +222,7 @@
                        nvmm_vcpu_free(mach, vcpu);
                        nvmm_vcpu_put(vcpu);
                }
+               (*nvmm_impl->machine_destroy)(mach);
                uvmspace_free(mach->vm);
 
                /* Drop the kernel UOBJ refs. */