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

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dfaults.c28 FAULT_DATA_WRITE_PAGEFAULT = 2, enumerator in enum:__anon23
534 case FAULT_DATA_WRITE_PAGEFAULT:
671 case FAULT_DATA_WRITE_PAGEFAULT:
792 return test_fault(env, FAULT_DATA_WRITE_PAGEFAULT, false);
822 return test_fault(env, FAULT_DATA_WRITE_PAGEFAULT, true);

Completed in 26 milliseconds