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 194 of file event_channel.h.
domid_t evtchn_status::dom |
Definition at line 196 of file event_channel.h.
evtchn_port_t evtchn_status::port |
Definition at line 197 of file event_channel.h.
uint32_t evtchn_status::status |
Definition at line 205 of file event_channel.h.
uint32_t evtchn_status::vcpu |
Definition at line 206 of file event_channel.h.
struct { ... } evtchn_status::unbound |
struct { ... } evtchn_status::interdomain |
uint32_t evtchn_status::pirq |
Definition at line 215 of file event_channel.h.
uint32_t evtchn_status::virq |
Definition at line 216 of file event_channel.h.
union { ... } evtchn_status::u |