src/api/faults.c

74 static inline void copyMRsFaultReply(tcb_t *sender, tcb_t *receiver, MessageID_t id, word_t length)
83         word_t v = getRegister(sender, msgRegisters[i]);
88         word_t *sendBuf = lookupIPCBuffer(false, sender);
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]));
109             receiveIPCBuffer[i + 1] = getRegister(sender, fault_messages[id][i]);
114 bool_t handleFaultReply(tcb_t *receiver, tcb_t *sender)
117     seL4_MessageInfo_t tag = messageInfoFromWord(getRegister(sender, msgInfoRegister));
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));
166             n_instrs = getRegister(sender, msgRegisters[0]);
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)
193     switch (seL4_Fault_get_seL4_FaultType(sender->tcbFault)) {
195         setMR(receiver, receiveIPCBuffer, seL4_CapFault_IP, getRestartPC(sender));
197               seL4_Fault_CapFault_get_address(sender->tcbFault));
199               seL4_Fault_CapFault_get_inReceivePhase(sender->tcbFault));
201                                      sender->tcbLookupFailure, seL4_CapFault_LookupFailureType);
204         copyMRsFault(sender, receiver, MessageID_Syscall, n_syscallMessage,
208                      seL4_Fault_UnknownSyscall_get_syscallNumber(sender->tcbFault));
212         copyMRsFault(sender, receiver, MessageID_Exception,
215               seL4_Fault_UserException_get_number(sender->tcbFault));
217                      seL4_Fault_UserException_get_code(sender->tcbFault));
223                            seL4_Fault_Timeout_get_badge(sender->tcbFault));
224         if (sender->tcbSchedContext) {
225             time_t consumed = schedContext_updateConsumed(sender->tcbSchedContext);
235         word_t reason = seL4_Fault_DebugException_get_exceptionReason(sender->tcbFault);
238               seL4_DebugException_FaultIP, getRestartPC(sender));
245                         seL4_Fault_DebugException_get_breakpointAddress(sender->tcbFault));
250                         seL4_Fault_DebugException_get_breakpointNumber(sender->tcbFault));
257         return Arch_setMRs_fault(sender, receiver, receiveIPCBuffer,
258                                  seL4_Fault_get_seL4_FaultType(sender->tcbFault));