Searched refs:copyMRsFault (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/kernel/src/api/ |
| H A D | faults.c | 99 static inline void copyMRsFault(tcb_t *sender, tcb_t *receiver, MessageID_t id, function
204 copyMRsFault(sender, receiver, MessageID_Syscall, n_syscallMessage,
212 copyMRsFault(sender, receiver, MessageID_Exception,
|
Completed in 23 milliseconds