Searched refs:receiver (Results 1 - 14 of 14) sorted by relevance

/seL4-refos-master/kernel/include/api/
H A Dfaults.h12 word_t setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer);
13 word_t Arch_setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer, word_t faultType);
15 bool_t handleFaultReply(tcb_t *receiver, tcb_t *sender);
16 bool_t Arch_handleFaultReply(tcb_t *receiver, tcb_t *sender, word_t faultType);
/seL4-refos-master/kernel/src/arch/arm/api/
H A Dfaults.c14 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
41 setMR(receiver, receiveIPCBuffer, seL4_VMFault_IP, ipa);
43 setMR(receiver, receiveIPCBuffer, seL4_VMFault_IP, getRestartPC(sender));
45 setMR(receiver, receiveIPCBuffer, seL4_VMFault_Addr,
47 setMR(receiver, receiveIPCBuffer, seL4_VMFault_PrefetchFault,
49 return setMR(receiver, receiveIPCBuffer, seL4_VMFault_FSR,
56 return setMR(receiver, receiveIPCBuffer, seL4_VGICMaintenance_IDX,
59 return setMR(receiver, receiveIPCBuffer, seL4_VGICMaintenance_IDX, -1);
62 return setMR(receiver, receiveIPCBuffe
[all...]
/seL4-refos-master/kernel/src/api/
H A Dfaults.c29 setMRs_lookup_failure(tcb_t *receiver, word_t *receiveIPCBuffer, argument
35 i = setMR(receiver, receiveIPCBuffer, offset, lufType + 1);
52 return setMR(receiver, receiveIPCBuffer, offset + 1,
56 setMR(receiver, receiveIPCBuffer, offset + 1,
58 return setMR(receiver, receiveIPCBuffer, offset + 2,
62 setMR(receiver, receiveIPCBuffer, offset + 1,
64 setMR(receiver, receiveIPCBuffer, offset + 2,
66 return setMR(receiver, receiveIPCBuffer, offset + 3,
74 static inline void copyMRsFaultReply(tcb_t *sender, tcb_t *receiver, MessageID_t id, word_t length) argument
79 archInfo = Arch_getSanitiseRegisterInfo(receiver);
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/src/arch/riscv/api/
H A Dfaults.c20 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
35 setMR(receiver, receiveIPCBuffer, seL4_VMFault_IP, getRestartPC(sender));
36 setMR(receiver, receiveIPCBuffer, seL4_VMFault_Addr,
38 setMR(receiver, receiveIPCBuffer, seL4_VMFault_PrefetchFault,
40 return setMR(receiver, receiveIPCBuffer, seL4_VMFault_FSR,
/seL4-refos-master/kernel/src/arch/x86/api/
H A Dfaults.c13 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
28 setMR(receiver, receiveIPCBuffer, seL4_VMFault_IP, getRestartPC(sender));
29 setMR(receiver, receiveIPCBuffer, seL4_VMFault_Addr,
31 setMR(receiver, receiveIPCBuffer, seL4_VMFault_PrefetchFault,
33 return setMR(receiver, receiveIPCBuffer, seL4_VMFault_FSR,
/seL4-refos-master/kernel/src/kernel/
H A Dthread.c26 endpoint_t *endpoint, tcb_t *receiver,
108 bool_t grant, tcb_t *receiver)
112 receiveBuffer = lookupIPCBuffer(true, receiver);
117 receiver, receiveBuffer);
119 doFaultTransfer(badge, sender, receiver, receiveBuffer);
126 void doReplyTransfer(tcb_t *sender, tcb_t *receiver, cte_t *slot, bool_t grant)
136 tcb_t *receiver = reply->replyTCB; local
137 reply_remove(reply, receiver);
138 assert(thread_state_get_replyObject(receiver->tcbState) == REPLY_REF(0));
141 assert(thread_state_get_tsType(receiver
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/include/kernel/
H A Dthread.h177 word_t badge, bool_t grant, tcb_t *receiver);
181 void doReplyTransfer(tcb_t *sender, tcb_t *receiver, cte_t *slot, bool_t grant);
185 word_t badge, bool_t canGrant, tcb_t *receiver,
187 void doFaultTransfer(word_t badge, tcb_t *sender, tcb_t *receiver,
/seL4-refos-master/kernel/include/object/
H A Dtcb.h28 static inline unsigned int setMR(tcb_t *receiver, word_t *receiveIPCBuffer, argument
39 setRegister(receiver, msgRegisters[offset], reg);
120 void setupCallerCap(tcb_t *sender, tcb_t *receiver, bool_t canGrant);
121 void deleteCallerCap(tcb_t *receiver);
124 word_t copyMRs(tcb_t *sender, word_t *sendBuf, tcb_t *receiver,
/seL4-refos-master/kernel/manual/parts/
H A Dipc.tex106 threads either to send or to receive. If no receiver is ready, threads
108 system calls will wait in a queue for the first available receiver. Likewise, if
144 receiver, provided that the endpoint capability
154 The receiver specifies the slot
169 position of the receiver's badges array, and the kernel sets the n-th bit (counting from the
175 sender's CNode slot to the receiver's CNode slot. The sender retains access
178 If a receiver gets a message whose tag has an \texttt{extraCaps} of 2 and a
222 transferred and the \texttt{extraCaps} field in the receiver's IPC
243 receiver TCB. The Grant right of that reply capability is set by copying the Grant
244 right of the endpoint capability invoked by the receiver i
[all...]
H A Dobjects.tex34 and are provided by the receiver during message passing.
163 capability. If the invoked capability is an endpoint, and no receiver is
193 receiver waiting on the destination \obj{Endpoint}, the message is silently
215 the kernel then updates the \emph{reply object} provided by the receiver. A
219 in the receiver's \obj{TCB}. This \emph{reply capability} is a single-use
291 a sender and a receiver rendezvous at the endpoint, and the
H A Dthreads.tex224 scheduling context will remain where it is. If the receiver does not provide a reply object to
227 delivered. The passive receiver will be set to inactive as it does not have a scheduling context.
/seL4-refos-master/kernel/src/object/
H A Dtcb.c351 void setupCallerCap(tcb_t *sender, tcb_t *receiver, bool_t canGrant) argument
364 callerSlot = TCB_PTR_CTE_PTR(receiver, tcbCaller);
372 void deleteCallerCap(tcb_t *receiver) argument
376 callerSlot = TCB_PTR_CTE_PTR(receiver, tcbCaller);
416 word_t copyMRs(tcb_t *sender, word_t *sendBuf, tcb_t *receiver, argument
423 setRegister(receiver, msgRegisters[i],
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Dqt_win.h842 virtual bool notify(QObject *receiver, QEvent *event);
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dqt_win.h842 virtual bool notify(QObject *receiver, QEvent *event);

Completed in 165 milliseconds