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

/seL4-refos-master/kernel/include/kernel/
H A Dboot.h110 void init_core_state(tcb_t *scheduler_action);
/seL4-refos-master/kernel/src/kernel/
H A Dboot.c534 BOOT_CODE void init_core_state(tcb_t *scheduler_action) argument
542 if (scheduler_action != SchedulerAction_ResumeCurrentThread &&
543 scheduler_action != SchedulerAction_ChooseNewThread) {
544 tcbDebugAppend(scheduler_action);
548 NODE_STATE(ksSchedulerAction) = scheduler_action;

Completed in 37 milliseconds