29#ifndef __XEN_PUBLIC_EVENT_CHANNEL_H__
30#define __XEN_PUBLIC_EVENT_CHANNEL_H__
56#define EVTCHNOP_bind_interdomain 0
57#define EVTCHNOP_bind_virq 1
58#define EVTCHNOP_bind_pirq 2
59#define EVTCHNOP_close 3
60#define EVTCHNOP_send 4
61#define EVTCHNOP_status 5
62#define EVTCHNOP_alloc_unbound 6
63#define EVTCHNOP_bind_ipi 7
64#define EVTCHNOP_bind_vcpu 8
65#define EVTCHNOP_unmask 9
66#define EVTCHNOP_reset 10
67#define EVTCHNOP_init_control 11
68#define EVTCHNOP_expand_array 12
69#define EVTCHNOP_set_priority 13
71#define EVTCHNOP_reset_cont 14
156#define EVTCHNSTAT_closed 0
157#define EVTCHNSTAT_unbound 1
158#define EVTCHNSTAT_interdomain 2
159#define EVTCHNSTAT_pirq 3
160#define EVTCHNSTAT_virq 4
161#define EVTCHNSTAT_ipi 5
214#define EVTCHN_2L_NR_CHANNELS (sizeof(xen_ulong_t) * sizeof(xen_ulong_t) * 64)
#define DEFINE_XEN_GUEST_HANDLE(name)
Definition arch-arm.h:192
uint32_t evtchn_port_t
Definition event_channel.h:74
__UINT32_TYPE__ uint32_t
Definition stdint.h:90
Definition event_channel.h:85
domid_t remote_dom
Definition event_channel.h:87
domid_t dom
Definition event_channel.h:87
evtchn_port_t port
Definition event_channel.h:89
Definition event_channel.h:113
evtchn_port_t remote_port
Definition event_channel.h:116
domid_t remote_dom
Definition event_channel.h:115
evtchn_port_t local_port
Definition event_channel.h:118
Definition event_channel.h:127
evtchn_port_t port
Definition event_channel.h:129
Definition event_channel.h:198
domid_t dom
Definition event_channel.h:200
Definition event_channel.h:137
evtchn_port_t port
Definition event_channel.h:139
Definition event_channel.h:207
uint32_t priority
Definition event_channel.h:210
evtchn_port_t port
Definition event_channel.h:209
Definition event_channel.h:151
uint32_t status
Definition event_channel.h:162
evtchn_port_t port
Definition event_channel.h:154
struct evtchn_status::@490::@491 unbound
uint32_t vcpu
Definition event_channel.h:163
struct evtchn_status::@490::@492 interdomain
domid_t dom
Definition event_channel.h:153
union evtchn_status::@490 u
uint32_t pirq
Definition event_channel.h:172
uint32_t virq
Definition event_channel.h:173
Definition event_channel.h:182
evtchn_port_t port
Definition event_channel.h:184
uint16_t domid_t
Definition xen.h:217