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

/seL4-test-master/projects/sel4test/apps/sel4test-driver/src/tests/
H A Dtimer.c26 int goal_count; member in struct:timer_test_data
34 if (test_data->curr_count == test_data->goal_count) {
44 timer_test_data_t test_data = { .goal_count = 10 };
76 timer_test_data_t test_data = { .goal_count = 3 };

Completed in 80 milliseconds