src/api/faults.c

37     i = setMR(receiver, receiveIPCBuffer, offset, lufType + 1);
54         return setMR(receiver, receiveIPCBuffer, offset + 1,
58         setMR(receiver, receiveIPCBuffer, offset + 1,
60         return setMR(receiver, receiveIPCBuffer, offset + 2,
64         setMR(receiver, receiveIPCBuffer, offset + 1,
66         setMR(receiver, receiveIPCBuffer, offset + 2,
68         return setMR(receiver, receiveIPCBuffer, offset + 3,
196         setMR(receiver, receiveIPCBuffer, seL4_CapFault_IP, getRestartPC(sender));
197         setMR(receiver, receiveIPCBuffer, seL4_CapFault_Addr,
199         setMR(receiver, receiveIPCBuffer, seL4_CapFault_InRecvPhase,
208         return setMR(receiver, receiveIPCBuffer, n_syscallMessage,
215         setMR(receiver, receiveIPCBuffer, n_exceptionMessage,
217         return setMR(receiver, receiveIPCBuffer, n_exceptionMessage + 1u,
225         setMR(receiver, receiveIPCBuffer,
227         unsigned int ret = setMR(receiver, receiveIPCBuffer,
231             ret = setMR(receiver, receiveIPCBuffer,
236             ret = setMR(receiver, receiveIPCBuffer,