xen/events: clean up events.h

Avoid having undeclared stuff in header.

Signed-off-by: Wei Liu <liuw@liuw.name>

diff --git a/platform/xen/xen/events.c b/platform/xen/xen/events.c
index 32dc1e2e5107787efd95498383586c620b8861e8..43236d35280b56eefdfd249d6688789d4cbc2644 100644 (file)
--- a/platform/xen/xen/events.c
+++ b/platform/xen/xen/events.c
@@ -258,6 +258,13 @@ int minios_evtchn_bind_interdomain(domid_t pal, evtchn_port_t remote_port,
     return rc;
 }
 
+int notify_remote_via_evtchn(evtchn_port_t port)
+{
+    evtchn_send_t op;
+    op.port = port;
+    return HYPERVISOR_event_channel_op(EVTCHNOP_send, &op);
+}
+
 /*
  * Local variables:
  * mode: C

diff --git a/platform/xen/xen/include/mini-os/events.h b/platform/xen/xen/include/mini-os/events.h
index c4878e03f0a5dfcbcce0b5baa6a308c8bcd21868..e24113c13cc248360f7baf17814de825c7c3300c 100644 (file)
--- a/platform/xen/xen/include/mini-os/events.h
+++ b/platform/xen/xen/include/mini-os/events.h
@@ -21,6 +21,7 @@
 
 #include<xen/event_channel.h>
 
+struct pt_regs;
 typedef void (*evtchn_handler_t)(evtchn_port_t, struct pt_regs *, void *);
 
 /* prototypes */
@@ -38,12 +39,7 @@ int minios_evtchn_bind_interdomain(domid_t pal, evtchn_port_t remote_port,
                                                        evtchn_port_t *local_port);
 void unbind_all_ports(void);
 
-static inline int notify_remote_via_evtchn(evtchn_port_t port)
-{
-    evtchn_send_t op;
-    op.port = port;
-    return HYPERVISOR_event_channel_op(EVTCHNOP_send, &op);
-}
+int notify_remote_via_evtchn(evtchn_port_t port);
 
 void fini_events(void);