Searched refs:test_vm_enter_non_vm (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ | ||
| H A D | faults.c | 1071 static int test_vm_enter_non_vm(env_t env) function 1091 test_vm_enter_non_vm, config_set(CONFIG_VTX)); |
Completed in 21 milliseconds