Searched refs:xendevicemodel_set_irq_level (Results 1 – 2 of 2) sorted by relevance
79 if (xendevicemodel_set_irq_level(xen_dmod, xen_domid, irq, level)) { in xen_set_irq()
527 static inline int xendevicemodel_set_irq_level(xendevicemodel_handle *dmod, in xendevicemodel_set_irq_level() function