Searched refs:simple_default_init_cap (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dsimple.c29 static seL4_CPtr simple_default_init_cap(void *data, seL4_CPtr cap_pos) function
238 simple->init_cap = &simple_default_init_cap;
/seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/
H A Dlibsel4simple-default.c123 seL4_CPtr simple_default_init_cap(void *data, seL4_CPtr cap_pos) function
268 simple->init_cap = &simple_default_init_cap;

Completed in 85 milliseconds