Searched defs:iospace_get_nth_cap (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/projects/seL4_libs/libsel4simple/arch_include/arm/simple/arch/ | ||
H A D | simple.h | 48 simple_get_nth_iospace_cap_fn iospace_get_nth_cap; member in struct:arch_simple |
Completed in 27 milliseconds