Searched refs:evtchn (Results 1 – 3 of 3) sorted by relevance
19 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);
53 uint32_t evtchn; member72 uint32_t evtchn; member
648 uint32_t evtchn; /* Event channel for console page. */ member