| /seL4-refos-master/kernel/src/arch/riscv/api/ |
| H A D | faults.c | 20 bool_t Arch_handleFaultReply(tcb_t *receiver, tcb_t *sender, word_t faultType) argument
31 word_t Arch_setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer, word_t faultType) argument
|
| /seL4-refos-master/kernel/src/arch/arm/api/ |
| H A D | faults.c | 14 bool_t Arch_handleFaultReply(tcb_t *receiver, tcb_t *sender, word_t faultType) argument
33 word_t Arch_setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer, word_t faultType) argument
[all...] |
| /seL4-refos-master/kernel/src/arch/x86/api/ |
| H A D | faults.c | 13 bool_t Arch_handleFaultReply(tcb_t *receiver, tcb_t *sender, word_t faultType) argument
24 word_t Arch_setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer, word_t faultType) argument
|
| /seL4-refos-master/kernel/src/api/ |
| H A D | faults.c | 29 setMRs_lookup_failure(tcb_t *receiver, word_t *receiveIPCBuffer, argument
74 static inline void copyMRsFaultReply(tcb_t *sender, tcb_t *receiver, MessageID_t id, word_t length) argument
99 copyMRsFault(tcb_t *sender, tcb_t *receiver, MessageID_t id, word_t length, word_t *receiveIPCBuffer) argument
114 handleFaultReply(tcb_t *receiver, tcb_t *sender) argument
191 setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer) argument
[all...] |
| /seL4-refos-master/kernel/include/object/ |
| H A D | tcb.h | 28 static inline unsigned int setMR(tcb_t *receiver, word_t *receiveIPCBuffer, argument
|
| /seL4-refos-master/kernel/src/kernel/ |
| H A D | thread.c | 136 tcb_t *receiver = reply->replyTCB; local
107 doIPCTransfer(tcb_t *sender, endpoint_t *endpoint, word_t badge, bool_t grant, tcb_t *receiver) argument
189 doNormalTransfer(tcb_t *sender, word_t *sendBuffer, endpoint_t *endpoint, word_t badge, bool_t canGrant, tcb_t *receiver, word_t *receiveBuffer) argument
221 doFaultTransfer(word_t badge, tcb_t *sender, tcb_t *receiver, word_t *receiverIPCBuffer) argument
235 transferCaps(seL4_MessageInfo_t info, extra_caps_t caps, endpoint_t *endpoint, tcb_t *receiver, word_t *receiveBuffer) argument
[all...] |
| /seL4-refos-master/kernel/src/object/ |
| H A D | tcb.c | 351 void setupCallerCap(tcb_t *sender, tcb_t *receiver, bool_t canGrant) argument
372 void deleteCallerCap(tcb_t *receiver) argument
416 word_t copyMRs(tcb_t *sender, word_t *sendBuf, tcb_t *receiver, argument
|