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

/seL4-camkes-master/tools/rumprun/platform/sel4/arch/arm/
H A Darch.c18 arch_init_simple(simple_t *simple) function
/seL4-camkes-master/tools/rumprun/platform/sel4/arch/x86/
H A Darch.c32 arch_init_simple(simple_t *simple) function

Completed in 34 milliseconds