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

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dfaults.c29 FAULT_INSTRUCTION_PAGEFAULT = 3, enumerator in enum:__anon23
551 case FAULT_INSTRUCTION_PAGEFAULT:
674 case FAULT_INSTRUCTION_PAGEFAULT:
798 return test_fault(env, FAULT_INSTRUCTION_PAGEFAULT, false);
828 return test_fault(env, FAULT_INSTRUCTION_PAGEFAULT, true);

Completed in 21 milliseconds