Searched defs:machine_irq (Results 1 – 2 of 2) sorted by relevance
710 uint8_t machine_irq = s->machine_irq; in xen_pt_destroy() local774 uint8_t machine_irq = 0, scratch; in xen_pt_realize() local
244 uint32_t machine_irq; member