Commit 3c546a4a authored by Christian Dietrich's avatar Christian Dietrich

scheduler: dispatchToCurrentTask should be inlined

Change-Id: I14a18026ef4e6320dd0c6da61fb8f6c4892ca16f
parent 6e8a92b5
......@@ -145,7 +145,7 @@ struct Scheduler {
return tlist.decode_task_id(current_task);
void dispatchToCurrentTask(void) {
forceinline void dispatchToCurrentTask(void) {
// dispatch or enter idle
if(current_task == {{{!subtask_id}}}) {
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment