/seL4-refos-master/kernel/include/api/ |
H A D | faults.h | 12 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 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 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 D | faults.c | 29 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 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 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 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 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 D | thread.c | 26 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 D | thread.h | 177 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 D | tcb.h | 28 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 D | ipc.tex | 106 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 D | objects.tex | 34 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 D | threads.tex | 224 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 D | tcb.c | 351 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 D | qt_win.h | 842 virtual bool notify(QObject *receiver, QEvent *event);
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | qt_win.h | 842 virtual bool notify(QObject *receiver, QEvent *event);
|