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

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dregressions.c366 int test_no_ret_with_cpl0(env_t env) function
410 DEFINE_TEST(REGRESSIONS0003, "Test return to user with CPL0 exploit", test_no_ret_with_cpl0,

Completed in 21 milliseconds