Home
last modified time | relevance | path

Searched refs:fault_type (Results 1 – 3 of 3) sorted by relevance

/seL4-master/src/fastpath/
A Dfastpath.c33 word_t fault_type; in fastpath_call() local
39 fault_type = seL4_Fault_get_seL4_FaultType(NODE_STATE(ksCurThread)->tcbFault); in fastpath_call()
44 fault_type != seL4_Fault_NullFault)) { in fastpath_call()
239 word_t fault_type; in fastpath_reply_recv() local
249 fault_type = seL4_Fault_get_seL4_FaultType(NODE_STATE(ksCurThread)->tcbFault); in fastpath_reply_recv()
254 fault_type != seL4_Fault_NullFault)) { in fastpath_reply_recv()
326 fault_type = seL4_Fault_get_seL4_FaultType(caller->tcbFault); in fastpath_reply_recv()
327 if (unlikely(fault_type != seL4_Fault_NullFault)) { in fastpath_reply_recv()
/seL4-master/src/plat/pc99/machine/
A Dintel-vtd.c213 uint32_t fault_type UNUSED; in vtd_process_faults()
234 fault_type = (vtd_read32(i, fr_reg + 12) >> FAULT_TYPE) & 1; in vtd_process_faults()
239 printf("IOMMU: DMA %s page fault ", fault_type ? "read" : "write"); in vtd_process_faults()
/seL4-master/src/kernel/
A Dthread.c154 word_t fault_type = seL4_Fault_get_seL4_FaultType(receiver->tcbFault); in doReplyTransfer() local
155 if (likely(fault_type == seL4_Fault_NullFault)) { in doReplyTransfer()
187 if (validTimeoutHandler(receiver) && fault_type != seL4_Fault_Timeout) { in doReplyTransfer()

Completed in 16 milliseconds