diff options
Diffstat (limited to 'extras/mini-os/include/events.h')
| -rw-r--r-- | extras/mini-os/include/events.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/extras/mini-os/include/events.h b/extras/mini-os/include/events.h index f0133621f8..cdb6311845 100644 --- a/extras/mini-os/include/events.h +++ b/extras/mini-os/include/events.h @@ -33,6 +33,9 @@ void unbind_evtchn(evtchn_port_t port); void init_events(void); int evtchn_alloc_unbound(domid_t pal, evtchn_handler_t handler, void *data, evtchn_port_t *port); +int evtchn_bind_interdomain(domid_t pal, evtchn_port_t remote_port, + evtchn_handler_t handler, void *data, + evtchn_port_t *local_port); static inline int notify_remote_via_evtchn(evtchn_port_t port) { |