Searched defs:cte_for_cap (Results 1 - 1 of 1) sorted by last modified time

/barrelfish-2018-10-04/kernel/include/
H A Dcapabilities.h75 static inline struct cte *cte_for_cap(struct capability *cap) function

Completed in 47 milliseconds