Searched defs:pci_dev (Results 1 - 6 of 6) sorted by relevance
| /seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/arch/x86/ |
| H A D | default.c | 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 | 117 arch_simple_get_msi(arch_simple_t *arch_simple, cspacepath_t path, seL4_Word pci_bus, seL4_Word pci_dev, seL4_Word pci_func, seL4_Word handle, seL4_Word vector) argument
|
| /seL4-camkes-master/kernel/src/arch/x86/object/ |
| H A D | interrupt.c | 151 word_t pci_dev = getSyscallArg(3, buffer); local
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | irq.h | 54 long pci_dev; member in struct:__anon1::__anon2::__anon4
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/ |
| H A D | vpci.c | 129 vmm_pci_entry_t *pci_dev = find_device(pci, pci_addr); local
|
| /seL4-camkes-master/projects/capdl/capdl-loader-app/include/ |
| H A D | capdl.h | 296 int pci_dev; member in struct:__anon50
|
Completed in 43 milliseconds