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

/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dthread_config.h176 static inline sel4utils_thread_config_t thread_config_default(simple_t *simple, seL4_CPtr cnode, seL4_Word data, function

Completed in 24 milliseconds