Searched refs:ec_mask_evtchn (Results 1 – 3 of 3) sorted by relevance
252 (void) ec_mask_evtchn(*evtchnp); in xen_alloc_unbound_evtchn()896 while (!ec_mask_evtchn(irq_evtchn(irqp))) in ec_disable_irq()1172 (void) ec_mask_evtchn(i); in ec_resume()1196 (void) ec_mask_evtchn(i); in ec_init()1326 if (ec_mask_evtchn(port)) { in xen_callback_handler()1340 if (ec_mask_evtchn(port)) { in xen_callback_handler()1508 ec_mask_evtchn(unsigned int ev) in ec_mask_evtchn() function1568 (void) ec_mask_evtchn(evtchn); in ec_block_irq()
182 extern int ec_mask_evtchn(unsigned int);
316 (void) ec_mask_evtchn(port); in evtchndrv_close_evtchn()