[Barrelfish-users] capref or capability?
jingmei_hu at g.harvard.edu
Tue Jul 25 22:51:55 CEST 2017
Hi Barrelfish Users,
We have some questions regarding the data types involved in capability
handling: capref, cnoderef, and capaddr_t. We were wondering if there
exists a kernel function that takes a capref struct as an input and returns
its corresponding capability struct, or one that gives a capability's
physical address given its capaddr_t. Are there conventions regarding the
uses of these data types generally?
Thanks a lot,
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Barrelfish-users