Searched defs:simple_init_rumprun (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/tools/rumprun/platform/sel4/ | ||
H A D | simple.c | 215 void simple_init_rumprun(custom_simple_t *custom_simple, seL4_CPtr endpoint) function |
Completed in 76 milliseconds