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

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dregressions.c322 static int do_wait_for_cpl(void) function
373 start_helper(env, &thread, (helper_fn_t) do_wait_for_cpl, 0, 0, 0, 0);
387 context.eip = (seL4_Word)do_wait_for_cpl;

Completed in 44 milliseconds