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/main.c | 1 +
 1 file changed, 1 insertion(+)

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

diff --git a/sys/src/9/pc/main.c b/sys/src/9/pc/main.c
index c5386c43d..824259e3a 100644
--- a/sys/src/9/pc/main.c
+++ b/sys/src/9/pc/main.c
@@ -735,6 +735,7 @@ reboot(void *entry, void *code, ulong size)
 	ulong *pdb;
 
 	writeconf();
+	vmxshutdown();
 
 	/*
 	 * the boot processor is cpu0.  execute this function on it
-- 
cgit v1.2.3