/seL4-camkes-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-camkes-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-camkes-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-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/example/c/ |
H A D | lib_buffer_unpack.c | 6 typedef struct receiver { struct 9 } receiver; typedef in typeref:struct:receiver
|
/seL4-camkes-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-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
H A D | msgqueue.c | 65 int camkes_msgqueue_receiver_init(int msgqueue_id, camkes_msgqueue_receiver_t *receiver) argument 159 camkes_msgqueue_poll(camkes_msgqueue_receiver_t *receiver) argument 172 camkes_msgqueue_wait(camkes_msgqueue_receiver_t *receiver) argument 187 camkes_msgqueue_get(camkes_msgqueue_receiver_t *receiver, void *buffer, size_t buffer_size) argument [all...] |
/seL4-camkes-master/kernel/include/object/ |
H A D | tcb.h | 28 static inline unsigned int setMR(tcb_t *receiver, word_t *receiveIPCBuffer, argument
|
/seL4-camkes-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-camkes-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
|