Searched defs:pci_func (Results 1 - 5 of 5) 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/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/ |
H A D | spcr.h | 33 uint8_t pci_func; member in struct:acpi_spcr
|
/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 | 152 word_t pci_func = getSyscallArg(4, buffer); local
|
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | irq.h | 55 long pci_func; member in struct:__anon1::__anon2::__anon4
|
Completed in 611 milliseconds