diff options
Diffstat (limited to 'extras/mini-os/lib')
| -rw-r--r-- | extras/mini-os/lib/sys.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extras/mini-os/lib/sys.c b/extras/mini-os/lib/sys.c index f11d7837cc..517562d3af 100644 --- a/extras/mini-os/lib/sys.c +++ b/extras/mini-os/lib/sys.c @@ -84,6 +84,7 @@ #define NOFILE 32 extern int xc_evtchn_close(int fd); extern int xc_interface_close(int fd); +extern int xc_gnttab_close(int fd); pthread_mutex_t fd_lock = PTHREAD_MUTEX_INITIALIZER; struct file files[NOFILE] = { |