iPXE
|
#include "xen.h"
Go to the source code of this file.
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 |
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) | |
DEFINE_XEN_GUEST_HANDLE (evtchn_port_t) | |
DEFINE_XEN_GUEST_HANDLE (evtchn_op_t) | |
#define EVTCHNOP_bind_interdomain 0 |
Definition at line 48 of file event_channel.h.
#define EVTCHNOP_bind_virq 1 |
Definition at line 49 of file event_channel.h.
#define EVTCHNOP_bind_pirq 2 |
Definition at line 50 of file event_channel.h.
#define EVTCHNOP_close 3 |
Definition at line 51 of file event_channel.h.
#define EVTCHNOP_send 4 |
Definition at line 52 of file event_channel.h.
#define EVTCHNOP_status 5 |
Definition at line 53 of file event_channel.h.
#define EVTCHNOP_alloc_unbound 6 |
Definition at line 54 of file event_channel.h.
#define EVTCHNOP_bind_ipi 7 |
Definition at line 55 of file event_channel.h.
#define EVTCHNOP_bind_vcpu 8 |
Definition at line 56 of file event_channel.h.
#define EVTCHNOP_unmask 9 |
Definition at line 57 of file event_channel.h.
#define EVTCHNOP_reset 10 |
Definition at line 58 of file event_channel.h.
#define EVTCHNOP_init_control 11 |
Definition at line 59 of file event_channel.h.
#define EVTCHNOP_expand_array 12 |
Definition at line 60 of file event_channel.h.
#define EVTCHNOP_set_priority 13 |
Definition at line 61 of file event_channel.h.
#define BIND_PIRQ__WILL_SHARE 1 |
Definition at line 145 of file event_channel.h.
#define EVTCHNSTAT_closed 0 /* Channel is not in use. */ |
Definition at line 199 of file event_channel.h.
#define EVTCHNSTAT_unbound 1 /* Channel is waiting interdom connection.*/ |
Definition at line 200 of file event_channel.h.
#define EVTCHNSTAT_interdomain 2 /* Channel is connected to remote domain. */ |
Definition at line 201 of file event_channel.h.
#define EVTCHNSTAT_pirq 3 /* Channel is bound to a phys IRQ line. */ |
Definition at line 202 of file event_channel.h.
#define EVTCHNSTAT_virq 4 /* Channel is bound to a virtual IRQ line */ |
Definition at line 203 of file event_channel.h.
#define EVTCHNSTAT_ipi 5 /* Channel is bound to a virtual IPI line */ |
Definition at line 204 of file event_channel.h.
#define EVTCHN_2L_NR_CHANNELS (sizeof(xen_ulong_t) * sizeof(xen_ulong_t) * 64) |
Definition at line 331 of file event_channel.h.
#define EVTCHN_FIFO_PRIORITY_MAX 0 |
Definition at line 338 of file event_channel.h.
#define EVTCHN_FIFO_PRIORITY_DEFAULT 7 |
Definition at line 339 of file event_channel.h.
#define EVTCHN_FIFO_PRIORITY_MIN 15 |
Definition at line 340 of file event_channel.h.
#define EVTCHN_FIFO_MAX_QUEUES (EVTCHN_FIFO_PRIORITY_MIN + 1) |
Definition at line 342 of file event_channel.h.
#define EVTCHN_FIFO_PENDING 31 |
Definition at line 346 of file event_channel.h.
#define EVTCHN_FIFO_MASKED 30 |
Definition at line 347 of file event_channel.h.
#define EVTCHN_FIFO_LINKED 29 |
Definition at line 348 of file event_channel.h.
#define EVTCHN_FIFO_BUSY 28 |
Definition at line 349 of file event_channel.h.
#define EVTCHN_FIFO_LINK_BITS 17 |
Definition at line 351 of file event_channel.h.
#define EVTCHN_FIFO_LINK_MASK ((1 << EVTCHN_FIFO_LINK_BITS) - 1) |
Definition at line 352 of file event_channel.h.
#define EVTCHN_FIFO_NR_CHANNELS (1 << EVTCHN_FIFO_LINK_BITS) |
Definition at line 354 of file event_channel.h.
typedef uint32_t evtchn_port_t |
Definition at line 67 of file event_channel.h.
typedef struct evtchn_alloc_unbound evtchn_alloc_unbound_t |
Definition at line 84 of file event_channel.h.
typedef struct evtchn_bind_interdomain evtchn_bind_interdomain_t |
Definition at line 113 of file event_channel.h.
typedef struct evtchn_bind_virq evtchn_bind_virq_t |
Definition at line 134 of file event_channel.h.
typedef struct evtchn_bind_pirq evtchn_bind_pirq_t |
Definition at line 150 of file event_channel.h.
typedef struct evtchn_bind_ipi evtchn_bind_ipi_t |
Definition at line 163 of file event_channel.h.
typedef struct evtchn_close evtchn_close_t |
Definition at line 174 of file event_channel.h.
typedef struct evtchn_send evtchn_send_t |
Definition at line 184 of file event_channel.h.
typedef struct evtchn_status evtchn_status_t |
Definition at line 219 of file event_channel.h.
typedef struct evtchn_bind_vcpu evtchn_bind_vcpu_t |
Definition at line 238 of file event_channel.h.
typedef struct evtchn_unmask evtchn_unmask_t |
Definition at line 248 of file event_channel.h.
typedef struct evtchn_reset evtchn_reset_t |
Definition at line 264 of file event_channel.h.
typedef struct evtchn_init_control evtchn_init_control_t |
Definition at line 282 of file event_channel.h.
typedef struct evtchn_expand_array evtchn_expand_array_t |
Definition at line 291 of file event_channel.h.
typedef struct evtchn_set_priority evtchn_set_priority_t |
Definition at line 301 of file event_channel.h.
typedef struct evtchn_op evtchn_op_t |
Definition at line 324 of file event_channel.h.
typedef uint32_t event_word_t |
Definition at line 344 of file event_channel.h.
typedef struct evtchn_fifo_control_block evtchn_fifo_control_block_t |
Definition at line 361 of file event_channel.h.
FILE_LICENCE | ( | MIT | ) |
DEFINE_XEN_GUEST_HANDLE | ( | evtchn_port_t | ) |
DEFINE_XEN_GUEST_HANDLE | ( | evtchn_op_t | ) |