[Barrelfish-users] capref or capability?

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

More information about the Barrelfish-users mailing list