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

/seL4-camkes-master/tools/rumprun/lib/libbmk_core/
H A Dsched.c649 struct bmk_thread initthread; local
651 bmk_memset(&initthread, 0, sizeof(initthread));
652 bmk_strcpy(initthread.bt_name, "init");
666 sched_switch(&initthread, mainthread);

Completed in 26 milliseconds