Searched refs:machine_irq (Results 1 – 3 of 3) sorted by relevance
241 int xen_domctl_bind_pt_irq(int domid, uint32_t machine_irq, uint8_t irq_type, in xen_domctl_bind_pt_irq() argument254 bind->machine_irq = machine_irq; in xen_domctl_bind_pt_irq()
30 int xen_domctl_bind_pt_irq(int domid, uint32_t machine_irq, uint8_t irq_type, uint8_t bus,
342 uint32_t machine_irq; member