Searched defs:caps_locate_slot (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/kernel/include/
H A Dcapabilities.h69 static inline struct cte *caps_locate_slot(lpaddr_t cnode, cslot_t offset) function

Completed in 37 milliseconds