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

/seL4-master/include/api/
A D	faults.h	12 word_t setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer);
/seL4-master/src/api/
A D	faults.c	191 word_t setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer) in setMRs_fault() function
/seL4-master/src/kernel/
A D	thread.c	233 sent = setMRs_fault(sender, receiver, receiverIPCBuffer); in doFaultTransfer()

Completed in 7 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023