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

/seL4-master/src/api/
A D	syscall.c	446 static inline lookupCap_ret_t lookupReply(void) in lookupReply() function 537 lu_ret = lookupReply(); in handleRecv()

Completed in 5 milliseconds

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