iPXE
|
#include <event_channel.h>
Data Fields | |
evtchn_port_t | port |
uint32_t | priority |
Definition at line 296 of file event_channel.h.
evtchn_port_t evtchn_set_priority::port |
Definition at line 298 of file event_channel.h.
uint32_t evtchn_set_priority::priority |
Definition at line 299 of file event_channel.h.