Home
last modified time | relevance | path

Searched refs:evtchn (Results 1 – 3 of 3) sorted by relevance

/include/xen/
Devents.h19 int bind_evtchn_to_irq(evtchn_port_t evtchn);
20 int bind_evtchn_to_irq_lateeoi(evtchn_port_t evtchn);
21 int bind_evtchn_to_irqhandler(evtchn_port_t evtchn,
25 int bind_evtchn_to_irqhandler_lateeoi(evtchn_port_t evtchn,
72 int evtchn_make_refcounted(evtchn_port_t evtchn);
73 int evtchn_get(evtchn_port_t evtchn);
74 void evtchn_put(evtchn_port_t evtchn);
77 void rebind_evtchn_irq(evtchn_port_t evtchn, int irq);
104 unsigned int irq_from_evtchn(evtchn_port_t evtchn);
/include/xen/interface/io/
Dpvcalls.h53 uint32_t evtchn; member
72 uint32_t evtchn; member
/include/xen/interface/
Dxen.h648 uint32_t evtchn; /* Event channel for console page. */ member