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

/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.simple.c469 static UNUSED seL4_CPtr camkes_simple_sched_ctrl(void *data, int core) { function
522 simple->sched_ctrl = &camkes_simple_sched_ctrl;

Completed in 25 milliseconds