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

/seL4-camkes-master/tools/rumprun/lib/libbmk_core/arch/earm/
H A Dcpu_sched.c52 bmk_cpu_sched_create(struct bmk_thread *thread, struct bmk_tcb *tcb, function
/seL4-camkes-master/tools/rumprun/lib/libbmk_core/arch/x86/
H A Dcpu_sched.c52 bmk_cpu_sched_create(struct bmk_thread *thread, struct bmk_tcb *tcb, function

Completed in 80 milliseconds