Searched refs:thirty (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
| H A D | scheduler.c | 1187 helper_thread_t thirty, fifty; local
1194 create_helper_thread(env, &thirty);
1197 set_helper_priority(env, &thirty, env->priority);
1201 set_helper_sched_params(env, &thirty, 0.1 * US_IN_S, 0.3 * US_IN_S, 0);
1205 start_helper(env, &thirty, (helper_fn_t) sched0015_helper, 0, (seL4_Word)env,
1214 error = seL4_TCB_Suspend(thirty.thread.tcb.cptr);
1222 /* we should have run in the 20% of time left by thirty and fifty threads */
1224 /* fifty should have run more than thirty */
|
Completed in 61 milliseconds