<div dir="ltr">Hi Barrelfish Users,<div><br></div><div>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?</div><div><br></div><div>Thanks a lot,</div><div>Jingmei</div></div>