#include "xen.h"

Data Structures
struct	evtchn_alloc_unbound
struct	evtchn_bind_interdomain
struct	evtchn_bind_virq
struct	evtchn_bind_pirq
struct	evtchn_bind_ipi
struct	evtchn_close
struct	evtchn_send
struct	evtchn_status
struct	evtchn_bind_vcpu
struct	evtchn_unmask
struct	evtchn_reset
struct	evtchn_init_control
struct	evtchn_expand_array
struct	evtchn_set_priority
struct	evtchn_op
struct	evtchn_fifo_control_block

Macros
#define	EVTCHNOP_bind_interdomain 0
#define	EVTCHNOP_bind_virq 1
#define	EVTCHNOP_bind_pirq 2
#define	EVTCHNOP_close 3
#define	EVTCHNOP_send 4
#define	EVTCHNOP_status 5
#define	EVTCHNOP_alloc_unbound 6
#define	EVTCHNOP_bind_ipi 7
#define	EVTCHNOP_bind_vcpu 8
#define	EVTCHNOP_unmask 9
#define	EVTCHNOP_reset 10
#define	EVTCHNOP_init_control 11
#define	EVTCHNOP_expand_array 12
#define	EVTCHNOP_set_priority 13
#define	BIND_PIRQ__WILL_SHARE 1
#define	EVTCHNSTAT_closed 0 /* Channel is not in use. */
#define	EVTCHNSTAT_unbound 1 /* Channel is waiting interdom connection.*/
#define	EVTCHNSTAT_interdomain 2 /* Channel is connected to remote domain. */
#define	EVTCHNSTAT_pirq 3 /* Channel is bound to a phys IRQ line. */
#define	EVTCHNSTAT_virq 4 /* Channel is bound to a virtual IRQ line */
#define	EVTCHNSTAT_ipi 5 /* Channel is bound to a virtual IPI line */
#define	EVTCHN_2L_NR_CHANNELS (sizeof(xen_ulong_t) * sizeof(xen_ulong_t) * 64)
#define	EVTCHN_FIFO_PRIORITY_MAX 0
#define	EVTCHN_FIFO_PRIORITY_DEFAULT 7
#define	EVTCHN_FIFO_PRIORITY_MIN 15
#define	EVTCHN_FIFO_MAX_QUEUES (EVTCHN_FIFO_PRIORITY_MIN + 1)
#define	EVTCHN_FIFO_PENDING 31
#define	EVTCHN_FIFO_MASKED 30
#define	EVTCHN_FIFO_LINKED 29
#define	EVTCHN_FIFO_BUSY 28
#define	EVTCHN_FIFO_LINK_BITS 17
#define	EVTCHN_FIFO_LINK_MASK ((1 << EVTCHN_FIFO_LINK_BITS) - 1)
#define	EVTCHN_FIFO_NR_CHANNELS (1 << EVTCHN_FIFO_LINK_BITS)

Typedefs
typedef uint32_t	evtchn_port_t
typedef struct evtchn_alloc_unbound	evtchn_alloc_unbound_t
typedef struct evtchn_bind_interdomain	evtchn_bind_interdomain_t
typedef struct evtchn_bind_virq	evtchn_bind_virq_t
typedef struct evtchn_bind_pirq	evtchn_bind_pirq_t
typedef struct evtchn_bind_ipi	evtchn_bind_ipi_t
typedef struct evtchn_close	evtchn_close_t
typedef struct evtchn_send	evtchn_send_t
typedef struct evtchn_status	evtchn_status_t
typedef struct evtchn_bind_vcpu	evtchn_bind_vcpu_t
typedef struct evtchn_unmask	evtchn_unmask_t
typedef struct evtchn_reset	evtchn_reset_t
typedef struct evtchn_init_control	evtchn_init_control_t
typedef struct evtchn_expand_array	evtchn_expand_array_t
typedef struct evtchn_set_priority	evtchn_set_priority_t
typedef struct evtchn_op	evtchn_op_t
typedef uint32_t	event_word_t
typedef struct evtchn_fifo_control_block	evtchn_fifo_control_block_t

Functions
	FILE_LICENCE (MIT)
	FILE_SECBOOT (PERMITTED)
	DEFINE_XEN_GUEST_HANDLE (evtchn_port_t)
	DEFINE_XEN_GUEST_HANDLE (evtchn_op_t)

Macro Definition Documentation

◆ EVTCHNOP_bind_interdomain

#define EVTCHNOP_bind_interdomain 0

Definition at line 49 of file event_channel.h.

◆ EVTCHNOP_bind_virq

#define EVTCHNOP_bind_virq 1

Definition at line 50 of file event_channel.h.

◆ EVTCHNOP_bind_pirq

#define EVTCHNOP_bind_pirq 2

Definition at line 51 of file event_channel.h.

◆ EVTCHNOP_close

#define EVTCHNOP_close 3

Definition at line 52 of file event_channel.h.

◆ EVTCHNOP_send

#define EVTCHNOP_send 4

Definition at line 53 of file event_channel.h.

◆ EVTCHNOP_status

#define EVTCHNOP_status 5

Definition at line 54 of file event_channel.h.

◆ EVTCHNOP_alloc_unbound

#define EVTCHNOP_alloc_unbound 6

Definition at line 55 of file event_channel.h.

◆ EVTCHNOP_bind_ipi

#define EVTCHNOP_bind_ipi 7

Definition at line 56 of file event_channel.h.

◆ EVTCHNOP_bind_vcpu

#define EVTCHNOP_bind_vcpu 8

Definition at line 57 of file event_channel.h.

◆ EVTCHNOP_unmask

#define EVTCHNOP_unmask 9

Definition at line 58 of file event_channel.h.

◆ EVTCHNOP_reset

#define EVTCHNOP_reset 10

Definition at line 59 of file event_channel.h.

◆ EVTCHNOP_init_control

#define EVTCHNOP_init_control 11

Definition at line 60 of file event_channel.h.

◆ EVTCHNOP_expand_array

#define EVTCHNOP_expand_array 12

Definition at line 61 of file event_channel.h.

◆ EVTCHNOP_set_priority

#define EVTCHNOP_set_priority 13

Definition at line 62 of file event_channel.h.

◆ BIND_PIRQ__WILL_SHARE

#define BIND_PIRQ__WILL_SHARE 1

Definition at line 146 of file event_channel.h.

◆ EVTCHNSTAT_closed

#define EVTCHNSTAT_closed 0 /* Channel is not in use. */

Definition at line 200 of file event_channel.h.

◆ EVTCHNSTAT_unbound

#define EVTCHNSTAT_unbound 1 /* Channel is waiting interdom connection.*/

Definition at line 201 of file event_channel.h.

◆ EVTCHNSTAT_interdomain

#define EVTCHNSTAT_interdomain 2 /* Channel is connected to remote domain. */

Definition at line 202 of file event_channel.h.

◆ EVTCHNSTAT_pirq

#define EVTCHNSTAT_pirq 3 /* Channel is bound to a phys IRQ line. */

Definition at line 203 of file event_channel.h.

◆ EVTCHNSTAT_virq

#define EVTCHNSTAT_virq 4 /* Channel is bound to a virtual IRQ line */

Definition at line 204 of file event_channel.h.

◆ EVTCHNSTAT_ipi

#define EVTCHNSTAT_ipi 5 /* Channel is bound to a virtual IPI line */

Definition at line 205 of file event_channel.h.

◆ EVTCHN_2L_NR_CHANNELS

#define EVTCHN_2L_NR_CHANNELS (sizeof(xen_ulong_t) * sizeof(xen_ulong_t) * 64)

Definition at line 332 of file event_channel.h.

◆ EVTCHN_FIFO_PRIORITY_MAX

#define EVTCHN_FIFO_PRIORITY_MAX 0

Definition at line 339 of file event_channel.h.

◆ EVTCHN_FIFO_PRIORITY_DEFAULT

#define EVTCHN_FIFO_PRIORITY_DEFAULT 7

Definition at line 340 of file event_channel.h.

◆ EVTCHN_FIFO_PRIORITY_MIN

#define EVTCHN_FIFO_PRIORITY_MIN 15

Definition at line 341 of file event_channel.h.

◆ EVTCHN_FIFO_MAX_QUEUES

#define EVTCHN_FIFO_MAX_QUEUES (EVTCHN_FIFO_PRIORITY_MIN + 1)

Definition at line 343 of file event_channel.h.

◆ EVTCHN_FIFO_PENDING

#define EVTCHN_FIFO_PENDING 31

Definition at line 347 of file event_channel.h.

◆ EVTCHN_FIFO_MASKED

#define EVTCHN_FIFO_MASKED 30

Definition at line 348 of file event_channel.h.

◆ EVTCHN_FIFO_LINKED

#define EVTCHN_FIFO_LINKED 29

Definition at line 349 of file event_channel.h.

◆ EVTCHN_FIFO_BUSY

#define EVTCHN_FIFO_BUSY 28

Definition at line 350 of file event_channel.h.

◆ EVTCHN_FIFO_LINK_BITS

#define EVTCHN_FIFO_LINK_BITS 17

Definition at line 352 of file event_channel.h.

◆ EVTCHN_FIFO_LINK_MASK

#define EVTCHN_FIFO_LINK_MASK ((1 << EVTCHN_FIFO_LINK_BITS) - 1)

Definition at line 353 of file event_channel.h.

◆ EVTCHN_FIFO_NR_CHANNELS

#define EVTCHN_FIFO_NR_CHANNELS (1 << EVTCHN_FIFO_LINK_BITS)

Definition at line 355 of file event_channel.h.

Typedef Documentation

◆ evtchn_port_t

typedef uint32_t evtchn_port_t

Definition at line 68 of file event_channel.h.

◆ evtchn_alloc_unbound_t

typedef struct evtchn_alloc_unbound evtchn_alloc_unbound_t

Definition at line 85 of file event_channel.h.

◆ evtchn_bind_interdomain_t

typedef struct evtchn_bind_interdomain evtchn_bind_interdomain_t

Definition at line 114 of file event_channel.h.

◆ evtchn_bind_virq_t

typedef struct evtchn_bind_virq evtchn_bind_virq_t

Definition at line 135 of file event_channel.h.

◆ evtchn_bind_pirq_t

typedef struct evtchn_bind_pirq evtchn_bind_pirq_t

Definition at line 151 of file event_channel.h.

◆ evtchn_bind_ipi_t

typedef struct evtchn_bind_ipi evtchn_bind_ipi_t

Definition at line 164 of file event_channel.h.

◆ evtchn_close_t

typedef struct evtchn_close evtchn_close_t

Definition at line 175 of file event_channel.h.

◆ evtchn_send_t

typedef struct evtchn_send evtchn_send_t

Definition at line 185 of file event_channel.h.

◆ evtchn_status_t

typedef struct evtchn_status evtchn_status_t

Definition at line 220 of file event_channel.h.

◆ evtchn_bind_vcpu_t

typedef struct evtchn_bind_vcpu evtchn_bind_vcpu_t

Definition at line 239 of file event_channel.h.

◆ evtchn_unmask_t

typedef struct evtchn_unmask evtchn_unmask_t

Definition at line 249 of file event_channel.h.

◆ evtchn_reset_t

typedef struct evtchn_reset evtchn_reset_t

Definition at line 265 of file event_channel.h.

◆ evtchn_init_control_t

typedef struct evtchn_init_control evtchn_init_control_t

Definition at line 283 of file event_channel.h.

◆ evtchn_expand_array_t

typedef struct evtchn_expand_array evtchn_expand_array_t

Definition at line 292 of file event_channel.h.

◆ evtchn_set_priority_t

typedef struct evtchn_set_priority evtchn_set_priority_t

Definition at line 302 of file event_channel.h.

◆ evtchn_op_t

typedef struct evtchn_op evtchn_op_t

Definition at line 325 of file event_channel.h.

◆ event_word_t

typedef uint32_t event_word_t

Definition at line 345 of file event_channel.h.

◆ evtchn_fifo_control_block_t

typedef struct evtchn_fifo_control_block evtchn_fifo_control_block_t

Definition at line 362 of file event_channel.h.

Function Documentation

◆ FILE_LICENCE()

FILE_LICENCE ( MIT )

◆ FILE_SECBOOT()

FILE_SECBOOT ( PERMITTED )

◆ DEFINE_XEN_GUEST_HANDLE() [1/2]

DEFINE_XEN_GUEST_HANDLE ( evtchn_port_t )

◆ DEFINE_XEN_GUEST_HANDLE() [2/2]

DEFINE_XEN_GUEST_HANDLE ( evtchn_op_t )

Data Structures

Macros

Typedefs

Functions