iPXE
Data Fields
evtchn_bind_vcpu Struct Reference

#include <event_channel.h>

Data Fields

evtchn_port_t port
 
uint32_t vcpu
 

Detailed Description

Definition at line 233 of file event_channel.h.

Field Documentation

◆ port

evtchn_port_t evtchn_bind_vcpu::port

Definition at line 235 of file event_channel.h.

◆ vcpu

uint32_t evtchn_bind_vcpu::vcpu

Definition at line 236 of file event_channel.h.


The documentation for this struct was generated from the following file: