minios: Fix build on some gcc versions.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/extras/mini-os/lib/sys.c b/extras/mini-os/lib/sys.c
index f11d7837cc262ec9944775a84433f7138f4c886f..517562d3af51fa7c2d191ec4a087f47993c088ae 100644 (file)
--- 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] = {