evtchn_bind_ipi Struct Reference

#include <event_channel.h>

Data Fields
uint32_t	vcpu
evtchn_port_t	port

Detailed Description

Definition at line 91 of file event_channel.h.

Field Documentation

evtchn_port_t port

Definition at line 94 of file event_channel.h.

uint32_t vcpu

Definition at line 92 of file event_channel.h.

---

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

• include/xen/interface/event_channel.h