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

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dscheduler.c446 static int ipc_test_helper_0(ipc_test_data_t *data) function
624 start_helper(env, &thread0, (helper_fn_t) ipc_test_helper_0, (seL4_Word) &data, 0, 0, 0);

Completed in 76 milliseconds