Searched refs:ec_evtchn_pending (Results 1 – 1 of 1) sorted by relevance
901 ec_evtchn_pending(uint_t ev) in ec_evtchn_pending() function916 return (ec_evtchn_pending(evtchn)); in ec_pending_irq()1341 if (ec_evtchn_pending(port)) { in xen_callback_handler()