Lines Matching refs:irq
17 #include <platsupport/irq.h>
19 int sel4platsupport_arch_copy_irq_cap(arch_simple_t *arch_simple, ps_irq_t *irq, cspacepath_t *dest)
21 switch (irq->type) {
23 return arch_simple_get_msi(arch_simple, *dest, irq->msi.pci_bus, irq->msi.pci_dev,
24 irq->msi.pci_func, irq->msi.handle, irq->msi.vector);
26 return arch_simple_get_ioapic(arch_simple, *dest, irq->ioapic.ioapic, irq->ioapic.pin,
27 irq->ioapic.level, irq->ioapic.polarity,
28 irq->ioapic.vector);
30 ZF_LOGE("unknown irq type");