iPXE
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

Definition at line 173 of file event_channel.h.

Definition at line 175 of file event_channel.h.


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