devvmx: call vmxshutdown from reboot() function manually

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,

sys/src/9/pc/fns.h

@@ -198,6 +198,7 @@ void	vectortable(void);
 void*	vmap(ulong, int);
 int	vmapsync(ulong);
 void	vmxprocrestore(Proc *);
+void	vmxshutdown(void);
 void	vunmap(void*, int);
 void	wbinvd(void);
 void	writeconf(void);

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

sys/src/9/pc64/fns.h

@@ -190,6 +190,7 @@ void	upafree(uintptr, int);
 void	upareserve(uintptr, int);
 void	vectortable(void);
 void	vmxprocrestore(Proc *);
+void	vmxshutdown(void);
 void*	vmap(uintptr, int);
 void	vunmap(void*, int);
 void	wbinvd(void);

sys/src/9/pc64/main.c

@@ -350,6 +350,7 @@ reboot(void *entry, void *code, ulong size)
 	void (*f)(uintptr, uintptr, ulong);
 
 	writeconf();
+	vmxshutdown();
 
 	/*
 	 * the boot processor is cpu0.  execute this function on it