diff options
| author | aiju <devnull@localhost> | 2017-09-02 10:43:37 +0000 |
|---|---|---|
| committer | aiju <devnull@localhost> | 2017-09-02 10:43:37 +0000 |
| commit | bd4513fe87360c790e2a96e00dacbf34c5f081cc (patch) | |
| tree | cf448dfd9b882d15fa42ba0af5bcbfb076cfdea3 /sys/src/9/pc/devvmx.c | |
| parent | 6ed716eab605e4b374e7d456cc6b3ed586c9f13b (diff) | |
devvmx: call vmxshutdown from reboot() function manually
Diffstat (limited to 'sys/src/9/pc/devvmx.c')
| -rw-r--r-- | sys/src/9/pc/devvmx.c | 4 |
1 files changed, 2 insertions, 2 deletions
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, |