Searched defs:cPtr (Results 1 – 1 of 1) sorted by relevance
15 lookupCap_ret_t lookupCap(tcb_t *thread, cptr_t cPtr) in lookupCap()32 lookupCapAndSlot_ret_t lookupCapAndSlot(tcb_t *thread, cptr_t cPtr) in lookupCapAndSlot()
Completed in 2 milliseconds