Searched refs:PS_MSI (Results 1 - 7 of 7) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/plat/pc99/
H A Ddevice.c22 case PS_MSI:
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dirq.h29 PS_MSI, enumerator in enum:irq_type
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A DseL4HardwareInterrupt.template.c177 .irq = { .type = PS_MSI, .msi = { .pci_bus = /*? pci_bus ?*/, .pci_dev = /*? pci_dev ?*/,
/seL4-camkes-master/projects/global-components/templates/
H A DseL4GlobalAsynchHardwareInterrupt.template.c183 .irq = { .type = PS_MSI, .msi = { .pci_bus = /*? pci_bus ?*/, .pci_dev = /*? pci_dev ?*/,
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dirq.c31 if (a->type == PS_MSI || a->type == PS_IOAPIC) {
35 case PS_MSI:
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dltimer.c479 irq->type = PS_MSI;
542 pc99_ltimer->hpet.config.irq = irq.type == PS_MSI ? irq.msi.vector + IRQ_OFFSET : irq.ioapic.pin;
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/
H A Dtimer.c268 case PS_MSI:

Completed in 133 milliseconds