iPXE
|
#include <event_channel.h>
Data Fields | |
domid_t | dom |
evtchn_port_t | port |
uint32_t | status |
uint32_t | vcpu |
union { | |
struct { | |
domid_t dom | |
} unbound | |
struct { | |
domid_t dom | |
evtchn_port_t port | |
} interdomain | |
uint32_t pirq | |
uint32_t virq | |
} | u |
Definition at line 208 of file event_channel.h.
Definition at line 210 of file event_channel.h.
Definition at line 211 of file event_channel.h.
Definition at line 219 of file event_channel.h.
Definition at line 220 of file event_channel.h.
struct { ... } evtchn_status::unbound |
struct { ... } evtchn_status::interdomain |
Definition at line 229 of file event_channel.h.
Definition at line 230 of file event_channel.h.
union { ... } evtchn_status::u |