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

/seL4-test-master/projects/sel4test/apps/sel4test-driver/src/tests/
H A Dtimer.c40 int test_timer(driver_env_t env) function
68 DEFINE_TEST_BOOTSTRAP(TIMER0001, "Basic timer testing", test_timer, config_set(CONFIG_HAVE_TIMER))

Completed in 20 milliseconds