Searched defs:faultType (Results 1 - 3 of 3) sorted by relevance
| /seL4-l4v-10.1.1/seL4/src/arch/riscv/api/ |
| H A D | faults.c | 31 bool_t Arch_handleFaultReply(tcb_t *receiver, tcb_t *sender, word_t faultType) argument
43 Arch_setMRs_fault(tcb_t *sender, tcb_t* receiver, word_t *receiveIPCBuffer, word_t faultType) argument
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/api/ |
| H A D | faults.c | 21 Arch_handleFaultReply(tcb_t *receiver, tcb_t *sender, word_t faultType) argument
39 Arch_setMRs_fault(tcb_t *sender, tcb_t* receiver, word_t *receiveIPCBuffer, word_t faultType) argument
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/api/ |
| H A D | faults.c | 19 bool_t Arch_handleFaultReply(tcb_t *receiver, tcb_t *sender, word_t faultType) argument
31 Arch_setMRs_fault(tcb_t *sender, tcb_t* receiver, word_t *receiveIPCBuffer, word_t faultType) argument
|
Completed in 92 milliseconds