Searched refs:dest_cspace_root (Results 1 - 1 of 1) sorted by path

/barrelfish-master/kernel/
H A Dsyscall.c265 struct capability *dest_cspace_root; local
268 &dest_cspace_root, CAPRIGHTS_READ);
272 /* dest_cspace_root must be L1 CNode */
273 if (dest_cspace_root->type != ObjType_L1CNode) {
279 err = caps_lookup_cap(dest_cspace_root, dest_cnode_cptr, dest_cnode_level,
391 struct capability *dest_cspace_root; local
393 err = caps_lookup_cap(root, dest_cspace_cptr, 2, &dest_cspace_root, CAPRIGHTS_READ);
397 /* dest_cspace_root must be L1 CNode */
398 if (dest_cspace_root->type != ObjType_L1CNode) {
405 err = caps_lookup_slot(dest_cspace_root, destcn_cpt
[all...]

Completed in 101 milliseconds