diff --git a/apps/sel4test-tests/src/tests/faults.c b/apps/sel4test-tests/src/tests/faults.c
index 57992d5d..d6a44ef7 100644
--- a/apps/sel4test-tests/src/tests/faults.c
+++ b/apps/sel4test-tests/src/tests/faults.c
@@ -1080,7 +1080,7 @@ static int test_vm_enter_non_vm(env_t env)
     err = api_tcb_set_space(get_helper_tcb(&helper), fault_ep, env->cspace_root,
                             api_make_guard_skip_word(guard),
                             env->page_directory, seL4_NilData);
-    test_eq(err, 0);
+    test_eq(err, (seL4_Error)seL4_NoError);
 
     seL4_CPtr reply = vka_alloc_reply_leaky(&env->vka);
     start_helper(env, &helper, (helper_fn_t) vm_enter, 0, 0, 0, 0);
diff --git a/apps/sel4test-tests/src/tests/ipc.c b/apps/sel4test-tests/src/tests/ipc.c
index 1de6b426..d675551d 100644
--- a/apps/sel4test-tests/src/tests/ipc.c
+++ b/apps/sel4test-tests/src/tests/ipc.c
@@ -344,9 +344,9 @@ static int test_ipc_pair(env_t env, test_func_t fa, test_func_t fb, bool inter_a
                         }
 
                         test_result_t res = wait_for_helper(&thread_a);
-                        test_eq(res, SUCCESS);
+                        test_eq(res, (test_result_t)SUCCESS);
                         res = wait_for_helper(&thread_b);
-                        test_eq(res, SUCCESS);
+                        test_eq(res, (test_result_t)SUCCESS);
 
                         start_number += 0x71717171;
                     }
diff --git a/apps/sel4test-tests/src/tests/schedcontext.c b/apps/sel4test-tests/src/tests/schedcontext.c
index ccebb0c3..f3f3d77e 100644
--- a/apps/sel4test-tests/src/tests/schedcontext.c
+++ b/apps/sel4test-tests/src/tests/schedcontext.c
@@ -764,7 +764,7 @@ int test_smp_delete_sched_context(env_t env)
 
     /* Don't use start_helper, we want to run the helper function directly: */
     error = sel4utils_start_thread(&thread, sched_context_0014_helper_fn, &counter, NULL, 1);
-    test_eq(error, seL4_NoError);
+    test_eq(error, (seL4_Error)seL4_NoError);
 
     /* Wait till helper runs */
     while (counter == prev_counter);