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