Searched refs:ec_irq_add_evtchn (Results 1 – 3 of 3) sorted by relevance
191 extern void ec_irq_add_evtchn(int, int);
299 ec_irq_add_evtchn(ec_dev_irq, port); in evtchn_bind_to_user()
814 ec_irq_add_evtchn(int irq, int evtchn) in ec_irq_add_evtchn() function