Searched refs:msi (Results 1 - 11 of 11) sorted by relevance
| /seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/plat/pc99/ |
| H A D | device.c | 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);
|
| /seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/test/ |
| H A D | json.cpp | 9 map_s_i msi; local
10 msi.insert(map_s_i::value_type("Hello", 789));
11 msi.insert(map_s_i::value_type("World", -789));
14 t1(12, -34, 1.23, -4.56, true, false, "ABC", msi);
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4rpc/src/ |
| H A D | server.c | 101 IrqAllocMessagex86_MSI *msi = &rpcMsg->msg.irq.type.msi; local
102 err = arch_simple_get_msi(&env->simple->arch_simple, path, msi->pci_bus,
103 msi->pci_dev, msi->pci_func, msi->handle, msi->vector);
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
| H A D | irq.c | 45 if (CHECK_MEMBER_EQUAL(a, b, msi.pci_bus) &&
46 CHECK_MEMBER_EQUAL(a, b, msi.pci_dev) &&
47 CHECK_MEMBER_EQUAL(a, b, msi.pci_func) &&
48 CHECK_MEMBER_EQUAL(a, b, msi.handle) &&
49 CHECK_MEMBER_EQUAL(a, b, msi.vector)) {
|
| /seL4-camkes-master/projects/seL4_libs/libsel4simple/arch_include/x86/simple/arch/ |
| H A D | simple.h | 46 * @param irq the msi irq number to get the cap for
95 arch_simple_get_msi_fn msi; member in struct:arch_simple
126 if (!arch_simple->msi) {
130 return arch_simple->msi(arch_simple->data, path.root, path.capPtr, path.capDepth, pci_bus,
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | irq.h | 58 } msi; member in union:__anon1::__anon2
|
| /seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
| H A D | seL4HardwareInterrupt.template.c | 120 /*- elif type == 'msi' -*/
176 /*- elif type == 'msi' -*/
177 .irq = { .type = PS_MSI, .msi = { .pci_bus = /*? pci_bus ?*/, .pci_dev = /*? pci_dev ?*/,
|
| /seL4-camkes-master/projects/global-components/templates/ |
| H A D | seL4GlobalAsynchHardwareInterrupt.template.c | 126 /*- elif type == 'msi' -*/
182 /*- elif type == 'msi' -*/
183 .irq = { .type = PS_MSI, .msi = { .pci_bus = /*? pci_bus ?*/, .pci_dev = /*? pci_dev ?*/,
|
| /seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/arch/x86/ |
| H A D | default.c | 84 simple->msi = simple_default_get_msi;
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
| H A D | ltimer.c | 480 irq->msi.pci_bus = 0;
481 irq->msi.pci_dev = 0;
482 irq->msi.pci_func = 0;
483 irq->msi.handle = 0;
484 irq->msi.vector = DEFAULT_HPET_MSI_VECTOR;
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 D | timer.c | 269 if (to->irqs[i].irq.msi.vector == id) {
|
Completed in 138 milliseconds