Data Fields
evtchn_bind_ipi Struct Reference

#include <event_channel.h>

Data Fields

uint32_t vcpu
evtchn_port_t port

Detailed Description

Definition at line 172 of file event_channel.h.

Field Documentation

◆ vcpu

uint32_t evtchn_bind_ipi::vcpu

Definition at line 173 of file event_channel.h.

◆ port

evtchn_port_t evtchn_bind_ipi::port

Definition at line 175 of file event_channel.h.

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