evtchn_bind_ipi Struct Reference

#include <event_channel.h>

Data Fields
uint32_t	vcpu
evtchn_port_t	port

Detailed Description

Definition at line 159 of file event_channel.h.

Field Documentation

vcpu

uint32_t evtchn_bind_ipi::vcpu

Definition at line 160 of file event_channel.h.

port

evtchn_port_t evtchn_bind_ipi::port

Definition at line 162 of file event_channel.h.

---

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

• include/xen/event_channel.h