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

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dscheduler.c122 static int suspend_test_helper_2a(seL4_CPtr t1, seL4_CPtr t2a, seL4_CPtr t2b) argument
136 int error = seL4_TCB_Suspend(t2b);
149 static int suspend_test_helper_2b(seL4_CPtr t1, seL4_CPtr t2a, seL4_CPtr t2b) argument
171 static int suspend_test_helper_1(seL4_CPtr t1, seL4_CPtr t2a, seL4_CPtr t2b) argument
176 int error = seL4_TCB_Resume(t2b);

Completed in 23 milliseconds