Searched refs:arch_simple_get_msi_fn (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/libs/libsel4simple/arch_include/x86/simple/arch/
H A Dsimple.h52 typedef seL4_Error (*arch_simple_get_msi_fn)(void *data, seL4_CNode root, seL4_Word index, typedef
95 arch_simple_get_msi_fn msi;
/seL4-refos-master/projects/seL4_libs/libsel4simple/arch_include/x86/simple/arch/
H A Dsimple.h52 typedef seL4_Error (*arch_simple_get_msi_fn)(void *data, seL4_CNode root, seL4_Word index, typedef
95 arch_simple_get_msi_fn msi;

Completed in 29 milliseconds