Searched defs:arch_simple_t (Results 1 - 2 of 2) sorted by relevance
/seL4-camkes-master/projects/seL4_libs/libsel4simple/arch_include/arm/simple/arch/ | ||
H A D | simple.h | 51 } arch_simple_t; typedef in typeref:struct:arch_simple |
/seL4-camkes-master/projects/seL4_libs/libsel4simple/arch_include/x86/simple/arch/ | ||
H A D | simple.h | 98 } arch_simple_t; typedef in typeref:struct:arch_simple |
Completed in 29 milliseconds