Home
last modified time | relevance | path

Searched refs:capTCBPtr (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
72 cap_ptr->words[1] = (word_t)capTCBPtr; 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_64.bf99 block reply_cap(capReplyCanGrant, capReplyMaster, capTCBPtr, capType) {
100 field capTCBPtr 64
133 field_high capTCBPtr 48
136 field_high capTCBPtr 39
A Dstructures_32.bf65 block reply_cap(capReplyCanGrant, capReplyMaster, capTCBPtr, capType) {
68 field_high capTCBPtr 26
90 field_high capTCBPtr 28

Completed in 3 milliseconds