aboutsummaryrefslogtreecommitdiffstats
path: root/extras/mini-os/include/events.h
diff options
context:
space:
mode:
authorsos22@douglas.cl.cam.ac.uk <sos22@douglas.cl.cam.ac.uk>2006-07-28 14:05:02 +0100
committersos22@douglas.cl.cam.ac.uk <sos22@douglas.cl.cam.ac.uk>2006-07-28 14:05:02 +0100
commite573f4fac04be1866b13b08a31627c7dad06538f (patch)
tree314d6a6a71e4ea6de50b9a5c9d8c7a170f33fd94 /extras/mini-os/include/events.h
parent194a6f6b1f79d6bb4c40ce2a4fdafd845be4f2ce (diff)
downloadxen-e573f4fac04be1866b13b08a31627c7dad06538f.tar.gz
xen-e573f4fac04be1866b13b08a31627c7dad06538f.tar.bz2
xen-e573f4fac04be1866b13b08a31627c7dad06538f.zip
[MINI-OS] Add evtchn_bind_interdomain to mini-os, allowing clients to
bind to interdomain event channels. Signed-off-by: John D. Ramsdell <ramsdell@mitre.org> Signed-off-by: Steven Smith <sos22@cam.ac.uk>
Diffstat (limited to 'extras/mini-os/include/events.h')
-rw-r--r--extras/mini-os/include/events.h3
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)
{