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

/barrelfish-master/include/barrelfish/
H A Dcaddr.h125 static inline capaddr_t get_cap_addr(struct capref cap) function

Completed in 36 milliseconds