Searched refs:ec_dev_irq (Results 1 – 3 of 3) sorted by relevance
299 ec_irq_add_evtchn(ec_dev_irq, port); in evtchn_bind_to_user()326 ec_irq_rm_evtchn(ec_dev_irq, port); in evtchndrv_close_evtchn()635 ec_dev_irq = ec_dev_alloc_irq(); in evtchndrv_attach()637 "evtchn_driver", ec_dev_irq, NULL, NULL, NULL, dip); in evtchndrv_attach()
122 extern int ec_dev_irq;
206 int ec_dev_irq = INVALID_IRQ; variable821 ASSERT(irq == ec_dev_irq); in ec_irq_add_evtchn()838 ASSERT(irq == ec_dev_irq); in ec_irq_rm_evtchn()1419 if (irq == ec_dev_irq) { in xen_callback_handler()