Searched defs:IOPort_cap (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/projects/seL4_libs/libsel4simple/arch_include/x86/simple/arch/ | ||
H A D | simple.h | 91 arch_simple_get_IOPort_cap_fn IOPort_cap; member in struct:arch_simple |
Completed in 81 milliseconds