Searched refs:machine_irq (Results 1 – 3 of 3) sorted by relevance
710 uint8_t machine_irq = s->machine_irq; in xen_pt_destroy() local738 if (machine_irq) { in xen_pt_destroy()750 s->machine_irq = 0; in xen_pt_destroy()774 uint8_t machine_irq = 0, scratch; in xen_pt_realize() local844 if (machine_irq == 0) { in xen_pt_realize()857 machine_irq = 0; in xen_pt_realize()858 s->machine_irq = 0; in xen_pt_realize()860 machine_irq = pirq; in xen_pt_realize()861 s->machine_irq = pirq; in xen_pt_realize()866 if (machine_irq != 0) { in xen_pt_realize()[all …]
244 uint32_t machine_irq; member
331 if (s->machine_irq) { in xen_pt_cmd_reg_write()