iPXE
|
#include <event_channel.h>
Data Fields | |
uint64_t | control_gfn |
uint32_t | offset |
uint32_t | vcpu |
uint8_t | link_bits |
uint8_t | _pad [7] |
Definition at line 273 of file event_channel.h.
uint64_t evtchn_init_control::control_gfn |
Definition at line 275 of file event_channel.h.
uint32_t evtchn_init_control::offset |
Definition at line 276 of file event_channel.h.
uint32_t evtchn_init_control::vcpu |
Definition at line 277 of file event_channel.h.
uint8_t evtchn_init_control::link_bits |
Definition at line 279 of file event_channel.h.
uint8_t evtchn_init_control::_pad[7] |
Definition at line 280 of file event_channel.h.