Searched refs:copyMRsFaultReply (Results 1 – 1 of 1) sorted by relevance
/seL4-master/src/api/ |
A D | faults.c | 74 static inline void copyMRsFaultReply(tcb_t *sender, tcb_t *receiver, MessageID_t id, word_t length) in copyMRsFaultReply() function 127 copyMRsFaultReply(sender, receiver, MessageID_Syscall, MIN(length, n_syscallMessage)); in handleFaultReply() 131 copyMRsFaultReply(sender, receiver, MessageID_Exception, MIN(length, n_exceptionMessage)); in handleFaultReply() 136 copyMRsFaultReply(sender, receiver, MessageID_TimeoutReply, MIN(length, n_timeoutMessage)); in handleFaultReply()
|
Completed in 2 milliseconds