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

/seL4-test-master/kernel/src/object/
H A Dschedcontrol.c13 static exception_t invokeSchedControl_Configure(sched_context_t *target, word_t core, ticks_t budget, function
151 return invokeSchedControl_Configure(SC_PTR(cap_sched_context_cap_get_capSCPtr(targetCap)),

Completed in 29 milliseconds