Home
last modified time | relevance | path

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

/seL4-master/include/fastpath/
A Dfastpath.h69 word_t capReplyMaster, word_t capTCBPtr) in cap_reply_cap_ptr_new_np() argument
73 cap_ptr->words[0] = (capReplyMaster) | (capReplyCanGrant << 1) | in cap_reply_cap_ptr_new_np()
76 cap_ptr->words[0] = TCB_REF(capTCBPtr) | (capReplyMaster << 4) | in cap_reply_cap_ptr_new_np()
/seL4-master/include/object/
A Dstructures_32.bf65 block reply_cap(capReplyCanGrant, capReplyMaster, capTCBPtr, capType) {
70 field capReplyMaster 1
A Dstructures_64.bf99 block reply_cap(capReplyCanGrant, capReplyMaster, capTCBPtr, capType) {
105 field capReplyMaster 1

Completed in 8 milliseconds