Searched refs:machine_irq (Results 1 – 3 of 3) sorted by relevance
710 uint8_t machine_irq = s->machine_irq; in xen_pt_destroy() local714 if (machine_irq && !xen_host_pci_device_closed(host_dev)) { in xen_pt_destroy()716 rc = xc_domain_unbind_pt_irq(xen_xc, xen_domid, machine_irq, in xen_pt_destroy()726 'a' + intx, machine_irq, errno); in xen_pt_destroy()738 if (machine_irq) { in xen_pt_destroy()739 xen_pt_mapped_machine_irq[machine_irq]--; in xen_pt_destroy()741 if (xen_pt_mapped_machine_irq[machine_irq] == 0) { in xen_pt_destroy()742 rc = xc_physdev_unmap_pirq(xen_xc, xen_domid, machine_irq); in xen_pt_destroy()747 machine_irq, errno); in xen_pt_destroy()750 s->machine_irq = 0; in xen_pt_destroy()[all …]
244 uint32_t machine_irq; member
331 if (s->machine_irq) { in xen_pt_cmd_reg_write()