iPXE
|
#include <event_channel.h>
Data Fields | |
uint32_t | virq |
uint32_t | vcpu |
evtchn_port_t | port |
Definition at line 127 of file event_channel.h.
uint32_t evtchn_bind_virq::virq |
Definition at line 129 of file event_channel.h.
uint32_t evtchn_bind_virq::vcpu |
Definition at line 130 of file event_channel.h.
evtchn_port_t evtchn_bind_virq::port |
Definition at line 132 of file event_channel.h.