Changeset View
Changeset View
Standalone View
Standalone View
sys/xen/evtchn/evtchnvar.h
Show All 33 Lines | |||||
#ifndef __XEN_EVTCHN_EVTCHNVAR_H__ | #ifndef __XEN_EVTCHN_EVTCHNVAR_H__ | ||||
#define __XEN_EVTCHN_EVTCHNVAR_H__ | #define __XEN_EVTCHN_EVTCHNVAR_H__ | ||||
#include <xen/hypervisor.h> | #include <xen/hypervisor.h> | ||||
#include <xen/interface/event_channel.h> | #include <xen/interface/event_channel.h> | ||||
enum evtchn_type { | enum evtchn_type { | ||||
EVTCHN_TYPE_UNBOUND, | EVTCHN_TYPE_UNBOUND, | ||||
EVTCHN_TYPE_PIRQ, | |||||
EVTCHN_TYPE_VIRQ, | EVTCHN_TYPE_VIRQ, | ||||
EVTCHN_TYPE_IPI, | EVTCHN_TYPE_IPI, | ||||
EVTCHN_TYPE_PORT, | EVTCHN_TYPE_PORT, | ||||
EVTCHN_TYPE_COUNT | EVTCHN_TYPE_COUNT | ||||
}; | }; | ||||
/** Submit a port notification for delivery to a userland evtchn consumer */ | /** Submit a port notification for delivery to a userland evtchn consumer */ | ||||
void evtchn_device_upcall(evtchn_port_t port); | void evtchn_device_upcall(evtchn_port_t port); | ||||
▲ Show 20 Lines • Show All 55 Lines • Show Last 20 Lines |