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

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dfaults.c960 static int test_timeout_fault_in_server(env_t env) function
994 test_timeout_fault_in_server, config_set(CONFIG_KERNEL_MCS))

Completed in 27 milliseconds