aboutsummaryrefslogtreecommitdiffstats
path: root/extras/mini-os/include/events.h
diff options
context:
space:
mode:
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>2006-09-15 11:07:25 +0100
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>2006-09-15 11:07:25 +0100
commitd1423b28827cdc817d486df09db3cf98d4e83201 (patch)
tree54684ab17eb39231d9577285b0dc4ed218c64dc9 /extras/mini-os/include/events.h
parenteff691edc0cb3de7725212624749f8e3c3d7a8cd (diff)
downloadxen-d1423b28827cdc817d486df09db3cf98d4e83201.tar.gz
xen-d1423b28827cdc817d486df09db3cf98d4e83201.tar.bz2
xen-d1423b28827cdc817d486df09db3cf98d4e83201.zip
[MINIOS] Fix to use new event-channel API properly.
Signed-off-by: Mark Williamson <mark.williamson@cl.cam.ac.uk>
Diffstat (limited to 'extras/mini-os/include/events.h')
-rw-r--r--extras/mini-os/include/events.h7
1 files changed, 3 insertions, 4 deletions
diff --git a/extras/mini-os/include/events.h b/extras/mini-os/include/events.h
index cdb6311845..9adaf29711 100644
--- a/extras/mini-os/include/events.h
+++ b/extras/mini-os/include/events.h
@@ -39,10 +39,9 @@ int evtchn_bind_interdomain(domid_t pal, evtchn_port_t remote_port,
static inline int notify_remote_via_evtchn(evtchn_port_t port)
{
- evtchn_op_t op;
- op.cmd = EVTCHNOP_send;
- op.u.send.port = port;
- return HYPERVISOR_event_channel_op(&op);
+ evtchn_send_t op;
+ op.port = port;
+ return HYPERVISOR_event_channel_op(EVTCHNOP_send, &op);
}