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/pc64/fns.h | |
| parent | 6ed716eab605e4b374e7d456cc6b3ed586c9f13b (diff) | |
devvmx: call vmxshutdown from reboot() function manually
Diffstat (limited to 'sys/src/9/pc64/fns.h')
| -rw-r--r-- | sys/src/9/pc64/fns.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/src/9/pc64/fns.h b/sys/src/9/pc64/fns.h index 57054d599..44613d2b2 100644 --- a/sys/src/9/pc64/fns.h +++ b/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); |