It is possible now to make the callback for Mini-OS static, as it is
only referenced via the file_ops vector.

Signed-off-by: Juergen Gross <jgross@suse.com>
---
 tools/libs/evtchn/minios.c | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/tools/libs/evtchn/minios.c b/tools/libs/evtchn/minios.c
index c3a5ce3b98..b495362f6b 100644
--- a/tools/libs/evtchn/minios.c
+++ b/tools/libs/evtchn/minios.c
@@ -49,8 +49,6 @@ struct port_info {
 
 extern struct wait_queue_head event_queue;
 
-int minios_evtchn_close_fd(int fd);
-
 /* XXX Note: This is not threadsafe */
 static struct port_info *port_alloc(xenevtchn_handle *xce)
 {
@@ -80,7 +78,7 @@ static void port_dealloc(struct port_info *port_info)
     free(port_info);
 }
 
-int minios_evtchn_close_fd(int fd)
+static int minios_evtchn_close_fd(int fd)
 {
     struct port_info *port_info, *tmp;
     struct file *file = get_file_from_fd(fd);
-- 
2.26.2