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 247 of file event_channel.h.

Field Documentation

◆ port

evtchn_port_t evtchn_bind_vcpu::port

Definition at line 249 of file event_channel.h.

◆ vcpu

uint32_t evtchn_bind_vcpu::vcpu

Definition at line 250 of file event_channel.h.

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