1 /* SPDX-License-Identifier: MIT */
2 /******************************************************************************
5 * Event channels between domains.
7 * Copyright (c) 2003-2004, K A Fraser.
10 #ifndef __XEN_PUBLIC_EVENT_CHANNEL_H__
11 #define __XEN_PUBLIC_EVENT_CHANNEL_H__
13 #include <xen/interface/xen.h>
15 typedef uint32_t evtchn_port_t;
16 DEFINE_GUEST_HANDLE(evtchn_port_t);
19 * EVTCHNOP_alloc_unbound: Allocate a port in domain <dom> and mark as
20 * accepting interdomain bindings from domain <remote_dom>. A fresh port
21 * is allocated in <dom> and returned as <port>.
23 * 1. If the caller is unprivileged then <dom> must be DOMID_SELF.
24 * 2. <rdom> may be DOMID_SELF, allowing loopback connections.
26 #define EVTCHNOP_alloc_unbound 6
27 struct evtchn_alloc_unbound {
29 domid_t dom, remote_dom;
35 * EVTCHNOP_bind_interdomain: Construct an interdomain event channel between
36 * the calling domain and <remote_dom>. <remote_dom,remote_port> must identify
37 * a port that is unbound and marked as accepting bindings from the calling
38 * domain. A fresh port is allocated in the calling domain and returned as
41 * 2. <remote_dom> may be DOMID_SELF, allowing loopback connections.
43 #define EVTCHNOP_bind_interdomain 0
44 struct evtchn_bind_interdomain {
47 evtchn_port_t remote_port;
49 evtchn_port_t local_port;
53 * EVTCHNOP_bind_virq: Bind a local event channel to VIRQ <irq> on specified
56 * 1. A virtual IRQ may be bound to at most one event channel per vcpu.
57 * 2. The allocated event channel is bound to the specified vcpu. The binding
60 #define EVTCHNOP_bind_virq 1
61 struct evtchn_bind_virq {
70 * EVTCHNOP_bind_pirq: Bind a local event channel to PIRQ <irq>.
72 * 1. A physical IRQ may be bound to at most one event channel per domain.
73 * 2. Only a sufficiently-privileged domain may bind to a physical IRQ.
75 #define EVTCHNOP_bind_pirq 2
76 struct evtchn_bind_pirq {
79 #define BIND_PIRQ__WILL_SHARE 1
80 uint32_t flags; /* BIND_PIRQ__* */
86 * EVTCHNOP_bind_ipi: Bind a local event channel to receive events.
88 * 1. The allocated event channel is bound to the specified vcpu. The binding
91 #define EVTCHNOP_bind_ipi 7
92 struct evtchn_bind_ipi {
99 * EVTCHNOP_close: Close a local event channel <port>. If the channel is
100 * interdomain then the remote end is placed in the unbound state
101 * (EVTCHNSTAT_unbound), awaiting a new connection.
103 #define EVTCHNOP_close 3
104 struct evtchn_close {
110 * EVTCHNOP_send: Send an event to the remote end of the channel whose local
111 * endpoint is <port>.
113 #define EVTCHNOP_send 4
120 * EVTCHNOP_status: Get the current status of the communication channel which
121 * has an endpoint at <dom, port>.
123 * 1. <dom> may be specified as DOMID_SELF.
124 * 2. Only a sufficiently-privileged domain may obtain the status of an event
125 * channel for which <dom> is not DOMID_SELF.
127 #define EVTCHNOP_status 5
128 struct evtchn_status {
133 #define EVTCHNSTAT_closed 0 /* Channel is not in use. */
134 #define EVTCHNSTAT_unbound 1 /* Channel is waiting interdom connection.*/
135 #define EVTCHNSTAT_interdomain 2 /* Channel is connected to remote domain. */
136 #define EVTCHNSTAT_pirq 3 /* Channel is bound to a phys IRQ line. */
137 #define EVTCHNSTAT_virq 4 /* Channel is bound to a virtual IRQ line */
138 #define EVTCHNSTAT_ipi 5 /* Channel is bound to a virtual IPI line */
140 uint32_t vcpu; /* VCPU to which this channel is bound. */
144 } unbound; /* EVTCHNSTAT_unbound */
148 } interdomain; /* EVTCHNSTAT_interdomain */
149 uint32_t pirq; /* EVTCHNSTAT_pirq */
150 uint32_t virq; /* EVTCHNSTAT_virq */
155 * EVTCHNOP_bind_vcpu: Specify which vcpu a channel should notify when an
158 * 1. IPI- and VIRQ-bound channels always notify the vcpu that initialised
159 * the binding. This binding cannot be changed.
160 * 2. All other channels notify vcpu0 by default. This default is set when
161 * the channel is allocated (a port that is freed and subsequently reused
162 * has its binding reset to vcpu0).
164 #define EVTCHNOP_bind_vcpu 8
165 struct evtchn_bind_vcpu {
172 * EVTCHNOP_unmask: Unmask the specified local event-channel port and deliver
173 * a notification to the appropriate VCPU if an event is pending.
175 #define EVTCHNOP_unmask 9
176 struct evtchn_unmask {
182 * EVTCHNOP_reset: Close all event channels associated with specified domain.
184 * 1. <dom> may be specified as DOMID_SELF.
185 * 2. Only a sufficiently-privileged domain may specify other than DOMID_SELF.
187 #define EVTCHNOP_reset 10
188 struct evtchn_reset {
192 typedef struct evtchn_reset evtchn_reset_t;
195 * EVTCHNOP_init_control: initialize the control block for the FIFO ABI.
197 #define EVTCHNOP_init_control 11
198 struct evtchn_init_control {
200 uint64_t control_gfn;
203 /* OUT parameters. */
209 * EVTCHNOP_expand_array: add an additional page to the event array.
211 #define EVTCHNOP_expand_array 12
212 struct evtchn_expand_array {
218 * EVTCHNOP_set_priority: set the priority for an event channel.
220 #define EVTCHNOP_set_priority 13
221 struct evtchn_set_priority {
228 uint32_t cmd; /* EVTCHNOP_* */
230 struct evtchn_alloc_unbound alloc_unbound;
231 struct evtchn_bind_interdomain bind_interdomain;
232 struct evtchn_bind_virq bind_virq;
233 struct evtchn_bind_pirq bind_pirq;
234 struct evtchn_bind_ipi bind_ipi;
235 struct evtchn_close close;
236 struct evtchn_send send;
237 struct evtchn_status status;
238 struct evtchn_bind_vcpu bind_vcpu;
239 struct evtchn_unmask unmask;
242 DEFINE_GUEST_HANDLE_STRUCT(evtchn_op);
248 #define EVTCHN_2L_NR_CHANNELS (sizeof(xen_ulong_t) * sizeof(xen_ulong_t) * 64)
254 /* Events may have priorities from 0 (highest) to 15 (lowest). */
255 #define EVTCHN_FIFO_PRIORITY_MAX 0
256 #define EVTCHN_FIFO_PRIORITY_DEFAULT 7
257 #define EVTCHN_FIFO_PRIORITY_MIN 15
259 #define EVTCHN_FIFO_MAX_QUEUES (EVTCHN_FIFO_PRIORITY_MIN + 1)
261 typedef uint32_t event_word_t;
263 #define EVTCHN_FIFO_PENDING 31
264 #define EVTCHN_FIFO_MASKED 30
265 #define EVTCHN_FIFO_LINKED 29
266 #define EVTCHN_FIFO_BUSY 28
268 #define EVTCHN_FIFO_LINK_BITS 17
269 #define EVTCHN_FIFO_LINK_MASK ((1 << EVTCHN_FIFO_LINK_BITS) - 1)
271 #define EVTCHN_FIFO_NR_CHANNELS (1 << EVTCHN_FIFO_LINK_BITS)
273 struct evtchn_fifo_control_block {
276 event_word_t head[EVTCHN_FIFO_MAX_QUEUES];
279 #endif /* __XEN_PUBLIC_EVENT_CHANNEL_H__ */