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, bool is_static);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);102 unsigned int irq_from_evtchn(evtchn_port_t evtchn);104 evtchn_port_t *evtchn);
55 uint32_t evtchn; member74 uint32_t evtchn; member
631 uint32_t evtchn; /* Event channel for console page. */ member
Completed in 9 milliseconds