iPXE
|
#include <event_channel.h>
Data Fields | |
uint32_t | ready |
uint32_t | _rsvd |
uint32_t | head [EVTCHN_FIFO_MAX_QUEUES] |
Definition at line 356 of file event_channel.h.
uint32_t evtchn_fifo_control_block::ready |
Definition at line 357 of file event_channel.h.
uint32_t evtchn_fifo_control_block::_rsvd |
Definition at line 358 of file event_channel.h.
uint32_t evtchn_fifo_control_block::head[EVTCHN_FIFO_MAX_QUEUES] |
Definition at line 359 of file event_channel.h.