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

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Ddomains.cxx119 test_run_domains(struct env* env) function
123 DEFINE_TEST(DOMAINS0004, "Run threads in domains()", test_run_domains, config_set(CONFIG_HAVE_TIMER))

Completed in 80 milliseconds