diff options
author | kfraser@localhost.localdomain <kfraser@localhost.localdomain> | 2006-11-30 17:17:28 +0000 |
---|---|---|
committer | kfraser@localhost.localdomain <kfraser@localhost.localdomain> | 2006-11-30 17:17:28 +0000 |
commit | 89f64447946ccfaa906987c3ce72ab3788c5705d (patch) | |
tree | 55a66e274d0f303a448427df745bc3e278763dbb /extras/mini-os/include/events.h | |
parent | f446b44935ec9e42dba073dccffec738a5feaa37 (diff) | |
download | xen-89f64447946ccfaa906987c3ce72ab3788c5705d.tar.gz xen-89f64447946ccfaa906987c3ce72ab3788c5705d.tar.bz2 xen-89f64447946ccfaa906987c3ce72ab3788c5705d.zip |
[MINIOS] Improved unbind_all_ports().
Signed-off-by: Jacob Gorm Hansen <jacobg@diku.dk>
Diffstat (limited to 'extras/mini-os/include/events.h')
-rw-r--r-- | extras/mini-os/include/events.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extras/mini-os/include/events.h b/extras/mini-os/include/events.h index 45b47c1549..5cc9fa8a9f 100644 --- a/extras/mini-os/include/events.h +++ b/extras/mini-os/include/events.h @@ -36,6 +36,7 @@ int evtchn_alloc_unbound(domid_t pal, evtchn_handler_t handler, int evtchn_bind_interdomain(domid_t pal, evtchn_port_t remote_port, evtchn_handler_t handler, void *data, evtchn_port_t *local_port); +void unbind_all_ports(void); static inline int notify_remote_via_evtchn(evtchn_port_t port) { |