From bd4513fe87360c790e2a96e00dacbf34c5f081cc Mon Sep 17 00:00:00 2001
From: aiju <devnull@localhost>
Date: Sat, 2 Sep 2017 10:43:37 +0000
Subject: devvmx: call vmxshutdown from reboot() function manually

---
 sys/src/9/pc/devvmx.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'sys/src/9/pc/devvmx.c')

diff --git a/sys/src/9/pc/devvmx.c b/sys/src/9/pc/devvmx.c
index 0eeab1c41..447869a2e 100644
--- a/sys/src/9/pc/devvmx.c
+++ b/sys/src/9/pc/devvmx.c
@@ -1844,7 +1844,7 @@ vmxnew(void)
 	return vmx;
 }
 
-static void
+void
 vmxshutdown(void)
 {
 	int i;
@@ -2203,7 +2203,7 @@ Dev vmxdevtab = {
 	
 	vmxreset,
 	devinit,
-	vmxshutdown,
+	devshutdown,
 	vmxattach,
 	vmxwalk,
 	vmxstat,
-- 
cgit v1.2.3