Home
last modified time | relevance | path

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

/seL4-master/include/api/
A Dfaults.h15 bool_t handleFaultReply(tcb_t *receiver, tcb_t *sender);
/seL4-master/src/api/
A Dfaults.c114 bool_t handleFaultReply(tcb_t *receiver, tcb_t *sender) in handleFaultReply() function
/seL4-master/src/kernel/
A Dthread.c170 bool_t restart = handleFaultReply(receiver, sender); in doReplyTransfer()

Completed in 6 milliseconds