Home
last modified time | relevance | path

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

/seL4-master/include/fastpath/
A Dfastpath.h68 static inline void cap_reply_cap_ptr_new_np(cap_t *cap_ptr, word_t capReplyCanGrant, in cap_reply_cap_ptr_new_np() argument
73 cap_ptr->words[0] = (capReplyMaster) | (capReplyCanGrant << 1) | in cap_reply_cap_ptr_new_np()
77 (capReplyCanGrant << 5) | cap_reply_cap ; in cap_reply_cap_ptr_new_np()
/seL4-master/include/object/
A Dstructures_32.bf55 field capReplyCanGrant 1
65 block reply_cap(capReplyCanGrant, capReplyMaster, capTCBPtr, capType) {
69 field capReplyCanGrant 1
A Dstructures_64.bf82 field capReplyCanGrant 1
99 block reply_cap(capReplyCanGrant, capReplyMaster, capTCBPtr, capType) {
104 field capReplyCanGrant 1

Completed in 12 milliseconds