Searched refs:cap_reply_cap_ptr_new_np (Results 1 – 2 of 2) sorted by relevance

/seL4-master/include/fastpath/
A D	fastpath.h	68 static inline void cap_reply_cap_ptr_new_np(cap_t *cap_ptr, word_t capReplyCanGrant, in cap_reply_cap_ptr_new_np() function
/seL4-master/src/fastpath/
A D	fastpath.c	203 cap_reply_cap_ptr_new_np(&callerSlot->cap, replyCanGrant, 0, in fastpath_call()

Completed in 12 milliseconds

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