Home
last modified time | relevance | path

Searched refs:copyMRsFaultReply (Results 1 – 1 of 1) sorted by relevance

/seL4-master/src/api/
A Dfaults.c74 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