src/api/faults.c

29 setMRs_lookup_failure(tcb_t *receiver, word_t *receiveIPCBuffer,
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)
79     archInfo = Arch_getSanitiseRegisterInfo(receiver);
84         setRegister(receiver, r, sanitiseRegister(r, v, archInfo));
93                 setRegister(receiver, r, sanitiseRegister(r, v, archInfo));
99 static inline void copyMRsFault(tcb_t *sender, tcb_t *receiver, MessageID_t id,
104         setRegister(receiver, msgRegisters[i], getRegister(sender, fault_messages[id][i]));
114 bool_t handleFaultReply(tcb_t *receiver, tcb_t *sender)
120     seL4_Fault_t fault = receiver->tcbFault;
127         copyMRsFaultReply(sender, receiver, MessageID_Syscall, MIN(length, n_syscallMessage));
131         copyMRsFaultReply(sender, receiver, MessageID_Exception, MIN(length, n_exceptionMessage));
136         copyMRsFaultReply(sender, receiver, MessageID_TimeoutReply, MIN(length, n_timeoutMessage));
171         res = Arch_decodeConfigureSingleStepping(receiver, 0, n_instrs, true);
176         configureSingleStepping(receiver, 0, n_instrs, true);
187         return Arch_handleFaultReply(receiver, sender, seL4_Fault_get_seL4_FaultType(fault));
191 word_t setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer)
195         setMR(receiver, receiveIPCBuffer, seL4_CapFault_IP, getRestartPC(sender));
196         setMR(receiver, receiveIPCBuffer, seL4_CapFault_Addr,
198         setMR(receiver, receiveIPCBuffer, seL4_CapFault_InRecvPhase,
200         return setMRs_lookup_failure(receiver, receiveIPCBuffer,
204         copyMRsFault(sender, receiver, MessageID_Syscall, n_syscallMessage,
207         return setMR(receiver, receiveIPCBuffer, n_syscallMessage,
212         copyMRsFault(sender, receiver, MessageID_Exception,
214         setMR(receiver, receiveIPCBuffer, n_exceptionMessage,
216         return setMR(receiver, receiveIPCBuffer, n_exceptionMessage + 1u,
222         word_t len = setMR(receiver, receiveIPCBuffer, seL4_Timeout_Data,
227                                    receiveIPCBuffer, receiver);
237         setMR(receiver, receiveIPCBuffer,
239         unsigned int ret = setMR(receiver, receiveIPCBuffer,
243             ret = setMR(receiver, receiveIPCBuffer,
248             ret = setMR(receiver, receiveIPCBuffer,
257         return Arch_setMRs_fault(sender, receiver, receiveIPCBuffer,