Searched refs:simple_init_rumprun (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dmain.c32 simple_init_rumprun(&env.custom_simple, endpoint);
H A Dsimple.c215 void simple_init_rumprun(custom_simple_t *custom_simple, seL4_CPtr endpoint) function
/seL4-camkes-master/tools/rumprun/platform/sel4/include/sel4/
H A Dhelpers.h80 void simple_init_rumprun(custom_simple_t *custom_simple, seL4_CPtr endpoint);

Completed in 84 milliseconds