Searched refs:xendevicemodel_set_irq_level (Results 1 – 3 of 3) sorted by relevance
47 if (xendevicemodel_set_irq_level(xen_dmod, xen_domid, irq, level)) { in xen_pvh_set_pci_intx_irq()
69 if (xendevicemodel_set_irq_level(xen_dmod, xen_domid, irq, level)) { in xen_set_irq()
528 static inline int xendevicemodel_set_irq_level(xendevicemodel_handle *dmod, in xendevicemodel_set_irq_level() function