add missing return statement

Signed-off-by: Axel Heider <[email protected]>
seL4 · Aug 28, 2021 · f65e92d · f65e92d
1 parent ef444eb
commit f65e92d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/apps/sel4test-tests/src/tests/scheduler.c b/apps/sel4test-tests/src/tests/scheduler.c
@@ -1652,6 +1652,7 @@ int sched0022_to_fn(struct env *env, helper_thread_t *thread, seL4_CPtr ep)
 
     seL4_SetMR(1, error);
     seL4_Send(ep, tag);
+    return 0;
 }
 
 /* Test that a helper thread can move itself back from another core.