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

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dfaults.c30 FAULT_BAD_SYSCALL = 4, enumerator in enum:__anon23
571 case FAULT_BAD_SYSCALL:
677 case FAULT_BAD_SYSCALL:
804 return test_fault(env, FAULT_BAD_SYSCALL, false);
834 return test_fault(env, FAULT_BAD_SYSCALL, true);

Completed in 26 milliseconds