Searched defs:faultType (Results 1 – 3 of 3) sorted by relevance
| /seL4-master/src/arch/riscv/api/ |
| A D | faults.c | 20 bool_t Arch_handleFaultReply(tcb_t *receiver, tcb_t *sender, word_t faultType) in Arch_handleFaultReply()
31 word_t Arch_setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer, word_t faultType) in Arch_setMRs_fault()
|
| /seL4-master/src/arch/arm/api/ |
| A D | faults.c | 14 bool_t Arch_handleFaultReply(tcb_t *receiver, tcb_t *sender, word_t faultType) in Arch_handleFaultReply()
33 word_t Arch_setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer, word_t faultType) in Arch_setMRs_fault()
|
| /seL4-master/src/arch/x86/api/ |
| A D | faults.c | 13 bool_t Arch_handleFaultReply(tcb_t *receiver, tcb_t *sender, word_t faultType) in Arch_handleFaultReply()
24 word_t Arch_setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer, word_t faultType) in Arch_setMRs_fault()
|
Completed in 12 milliseconds