| /seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/ |
| H A D | spmi.h | 30 uint8_t pci_bus; member in struct:acpi_spmi
|
| H A D | spcr.h | 32 uint8_t pci_bus; member in struct:acpi_spcr
|
| /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,
|
| /seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/arch/x86/ |
| H A D | default.c | 68 seL4_Word pci_bus, seL4_Word pci_dev, seL4_Word pci_func, seL4_Word handle,
71 return seL4_IRQControl_GetMSI(seL4_CapIRQControl, root, index, depth, pci_bus, pci_dev,
67 simple_default_get_msi(void *data, seL4_CNode root, seL4_Word index, uint8_t depth, seL4_Word pci_bus, seL4_Word pci_dev, seL4_Word pci_func, seL4_Word handle, seL4_Word vector) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4simple/arch_include/x86/simple/arch/ |
| H A D | simple.h | 53 uint8_t depth, seL4_Word pci_bus, seL4_Word pci_dev,
117 arch_simple_get_msi(arch_simple_t *arch_simple, cspacepath_t path, seL4_Word pci_bus, argument
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 | 53 long pci_bus; member in struct:__anon1::__anon2::__anon4
|
| /seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
| H A D | seL4HardwareInterrupt.template.c | 130 /*- set pci_bus = configuration[me.parent.from_instance.name].get(attr) -*/
131 /*- if pci_bus is none -*/
134 /*- if not isinstance(pci_bus, numbers.Integral) -*/
161 /*- set irq = alloc('irq', seL4_IRQHandler, vector=vector, handle=handle, pci_bus=pci_bus, pci_dev=pci_dev, pci_fun=pci_fun, notification=my_cnode[ntfn]) -*/
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 | 136 /*- set pci_bus = configuration[me.parent.from_instance.name].get(attr) -*/
137 /*- if pci_bus is none -*/
140 /*- if not isinstance(pci_bus, numbers.Integral) -*/
167 /*- set irq = alloc('irq', seL4_IRQHandler, vector=vector, handle=handle, pci_bus=pci_bus, pci_dev=pci_dev, pci_fun=pci_fun, notification=my_cnode[ntfn]) -*/
183 .irq = { .type = PS_MSI, .msi = { .pci_bus = /*? pci_bus ?*/, .pci_dev = /*? pci_dev ?*/,
|
| /seL4-camkes-master/kernel/src/arch/x86/object/ |
| H A D | interrupt.c | 150 word_t pci_bus = getSyscallArg(2, buffer); local
158 if (pci_bus > PCI_BUS_MAX) {
179 irqState = x86_irq_state_irq_msi_new(pci_bus, pci_dev, pci_func, handle);
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
| H A D | irq.c | 45 if (CHECK_MEMBER_EQUAL(a, b, msi.pci_bus) &&
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4rpc/src/ |
| H A D | server.c | 102 err = arch_simple_get_msi(&env->simple->arch_simple, path, msi->pci_bus,
|
| /seL4-camkes-master/projects/capdl/capdl-loader-app/include/ |
| H A D | capdl.h | 295 int pci_bus; member in struct:__anon50
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
| H A D | ltimer.c | 480 irq->msi.pci_bus = 0;
|
| /seL4-camkes-master/projects/capdl/capdl-loader-app/src/ |
| H A D | main.c | 876 obj->msiirq_extra.pci_bus, obj->msiirq_extra.pci_dev,
|