Searched refs:fault_type (Results 1 - 4 of 4) sorted by relevance
| /seL4-test-master/kernel/src/fastpath/ |
| H A D | fastpath.c | 35 word_t fault_type; local
41 fault_type = seL4_Fault_get_seL4_FaultType(NODE_STATE(ksCurThread)->tcbFault);
46 fault_type != seL4_Fault_NullFault)) {
243 word_t fault_type; local
253 fault_type = seL4_Fault_get_seL4_FaultType(NODE_STATE(ksCurThread)->tcbFault);
258 fault_type != seL4_Fault_NullFault)) {
330 fault_type = seL4_Fault_get_seL4_FaultType(caller->tcbFault);
331 if (unlikely(fault_type != seL4_Fault_NullFault)) {
|
| /seL4-test-master/kernel/src/plat/pc99/machine/ |
| H A D | intel-vtd.c | 213 uint32_t fault_type UNUSED;
234 fault_type = (vtd_read32(i, fr_reg + 12) >> FAULT_TYPE) & 1;
239 printf("IOMMU: DMA %s page fault ", fault_type ? "read" : "write");
|
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
| H A D | faults.c | 665 static int cause_fault(int fault_type) argument
667 switch (fault_type) {
688 static int test_fault(env_t env, int fault_type, bool inter_as) argument
766 handler_arg0, handler_arg1, fault_type, flags_and_reply);
768 fault_type, 0, 0, 0);
|
| /seL4-test-master/kernel/src/kernel/ |
| H A D | thread.c | 145 word_t fault_type = seL4_Fault_get_seL4_FaultType(receiver->tcbFault); local
146 if (likely(fault_type == seL4_Fault_NullFault)) {
178 if (validTimeoutHandler(receiver) && fault_type != seL4_Fault_Timeout) {
|
Completed in 42 milliseconds