[SeaBIOS] [PATCH 04/10] Xen: Support for interdomain event channel
Daniel Castro
evil.dani at gmail.com
Thu Aug 18 18:09:01 CEST 2011
Added support for interdomain event_channels headers
Signed-off-by: Daniel Castro <evil.dani at gmail.com>
---
src/xen.h | 27 +++++++++++++++++++++++++++
1 files changed, 27 insertions(+), 0 deletions(-)
diff --git a/src/xen.h b/src/xen.h
index f65078a..b6b72b9 100644
--- a/src/xen.h
+++ b/src/xen.h
@@ -99,6 +99,7 @@ typedef unsigned long xen_pfn_t;
(type)__res; \
})
+
/******************************************************************************
*
* The following interface definitions are taken from Xen and have the
@@ -186,5 +187,31 @@ __DEFINE_XEN_GUEST_HANDLE(u16, u16);
__DEFINE_XEN_GUEST_HANDLE(u32, u32);
#define __HYPERVISOR_xen_version 17
+#define __HYPERVISOR_event_channel_op 32
+
+/******************************************************************************
+ * event_channel.h
+ *
+ * Event channels between domains.
+ *
+ * Copyright (c) 2003-2004, K A Fraser.
+ */
+
+typedef u32 evtchn_port_t;
+DEFINE_XEN_GUEST_HANDLE(evtchn_port_t);
+
+#define EVTCHNOP_send 4
+struct evtchn_send {
+ /* IN parameters. */
+ evtchn_port_t port;
+};
+typedef struct evtchn_send evtchn_send_t;
+/*
+ * Wrappers for hypercalls
+ */
+static inline int hypercall_event_channel_op(int cmd, void *arg)
+{
+ return _hypercall2(int, event_channel_op, cmd, arg);
+}
#endif
--
1.7.4.1
More information about the SeaBIOS
mailing list