[Barrelfish-users] capref or capability?

[Hu, Jingmei]

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,
Jingmei
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20170725/9a588ce9/attachment.html>