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

/seL4-test-master/projects/sel4test/apps/sel4test-driver/src/tests/
H A Dtimer.c71 test_gettime_timeout(driver_env_t env) function
105 DEFINE_TEST_BOOTSTRAP(TIMER0002, "Test that the timer moves between gettime and timeout calls", test_gettime_timeout,

Completed in 22 milliseconds