|
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 |
1.8.15