Searched defs:arch_simple_get_msi (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/libs/libsel4simple/arch_include/x86/simple/arch/
H A Dsimple.h117 arch_simple_get_msi(arch_simple_t *arch_simple, cspacepath_t path, seL4_Word pci_bus, function
/seL4-refos-master/projects/seL4_libs/libsel4simple/arch_include/x86/simple/arch/
H A Dsimple.h117 arch_simple_get_msi(arch_simple_t *arch_simple, cspacepath_t path, seL4_Word pci_bus, function

Completed in 26 milliseconds