src/api/faults.c

77 copyMRsFaultReply(tcb_t *sender, tcb_t *receiver, MessageID_t id, word_t length)
86         word_t v = getRegister(sender, msgRegisters[i]);
91         word_t *sendBuf = lookupIPCBuffer(false, sender);
103 copyMRsFault(tcb_t *sender, tcb_t *receiver, MessageID_t id,
108         setRegister(receiver, msgRegisters[i], getRegister(sender, fault_messages[id][i]));
113             receiveIPCBuffer[i + 1] = getRegister(sender, fault_messages[id][i]);
119 handleFaultReply(tcb_t *receiver, tcb_t *sender)
122     seL4_MessageInfo_t tag = messageInfoFromWord(getRegister(sender, msgInfoRegister));
132         copyMRsFaultReply(sender, receiver, MessageID_Syscall, MIN(length, n_syscallMessage));
136         copyMRsFaultReply(sender, receiver, MessageID_Exception, MIN(length, n_exceptionMessage));
166             n_instrs = getRegister(sender, msgRegisters[0]);
187         return Arch_handleFaultReply(receiver, sender, seL4_Fault_get_seL4_FaultType(fault));
192 setMRs_fault(tcb_t *sender, tcb_t* receiver, word_t *receiveIPCBuffer)
194     switch (seL4_Fault_get_seL4_FaultType(sender->tcbFault)) {
196         setMR(receiver, receiveIPCBuffer, seL4_CapFault_IP, getRestartPC(sender));
198               seL4_Fault_CapFault_get_address(sender->tcbFault));
200               seL4_Fault_CapFault_get_inReceivePhase(sender->tcbFault));
202                                      sender->tcbLookupFailure, seL4_CapFault_LookupFailureType);
205         copyMRsFault(sender, receiver, MessageID_Syscall, n_syscallMessage,
209                      seL4_Fault_UnknownSyscall_get_syscallNumber(sender->tcbFault));
213         copyMRsFault(sender, receiver, MessageID_Exception,
216               seL4_Fault_UserException_get_number(sender->tcbFault));
218                      seL4_Fault_UserException_get_code(sender->tcbFault));
223         word_t reason = seL4_Fault_DebugException_get_exceptionReason(sender->tcbFault);
226               seL4_DebugException_FaultIP, getRestartPC(sender));
233                         seL4_Fault_DebugException_get_breakpointAddress(sender->tcbFault));
238                         seL4_Fault_DebugException_get_breakpointNumber(sender->tcbFault));
245         return Arch_setMRs_fault(sender, receiver, receiveIPCBuffer,
246                                  seL4_Fault_get_seL4_FaultType(sender->tcbFault));