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

/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dsimple.c65 static uint8_t simple_default_cnode_size(void *data) function
239 simple->cnode_size = &simple_default_cnode_size;
/seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/
H A Dlibsel4simple-default.c128 uint8_t simple_default_cnode_size(void *data) function
269 simple->cnode_size = &simple_default_cnode_size;

Completed in 32 milliseconds