709     uint8_t machine_irq = s->machine_irq;  in xen_pt_destroy()  local
713     if (machine_irq && !xen_host_pci_device_closed(&s->real_device)) {  in xen_pt_destroy()
715         rc = xc_domain_unbind_pt_irq(xen_xc, xen_domid, machine_irq,  in xen_pt_destroy()
725                        'a' + intx, machine_irq, errno);  in xen_pt_destroy()
737     if (machine_irq) {  in xen_pt_destroy()
738         xen_pt_mapped_machine_irq[machine_irq]--;  in xen_pt_destroy()
740         if (xen_pt_mapped_machine_irq[machine_irq] == 0) {  in xen_pt_destroy()
741             rc = xc_physdev_unmap_pirq(xen_xc, xen_domid, machine_irq);  in xen_pt_destroy()
746                            machine_irq, errno);  in xen_pt_destroy()
749         s->machine_irq = 0;  in xen_pt_destroy()
773     uint8_t machine_irq = 0, scratch;  in xen_pt_realize()  local
842     machine_irq = s->real_device.irq;  in xen_pt_realize()
843     if (machine_irq == 0) {  in xen_pt_realize()
849     rc = xc_physdev_map_pirq(xen_xc, xen_domid, machine_irq, &pirq);  in xen_pt_realize()
852                    machine_irq, pirq, errno);  in xen_pt_realize()
856         machine_irq = 0;  in xen_pt_realize()
857         s->machine_irq = 0;  in xen_pt_realize()
859         machine_irq = pirq;  in xen_pt_realize()
860         s->machine_irq = pirq;  in xen_pt_realize()
861         xen_pt_mapped_machine_irq[machine_irq]++;  in xen_pt_realize()
865     if (machine_irq != 0) {  in xen_pt_realize()
868         rc = xc_domain_bind_pt_pci_irq(xen_xc, xen_domid, machine_irq,  in xen_pt_realize()
878             xen_pt_mapped_machine_irq[machine_irq]--;  in xen_pt_realize()
880             if (xen_pt_mapped_machine_irq[machine_irq] == 0) {  in xen_pt_realize()
881                 if (xc_physdev_unmap_pirq(xen_xc, xen_domid, machine_irq)) {  in xen_pt_realize()
883                                " (err: %d)\n", machine_irq, errno);  in xen_pt_realize()
886             s->machine_irq = 0;  in xen_pt_realize()