barrelfish-master/kernel/syscall.c

278     struct capability *dest_cnode_cap;
280                           &dest_cnode_cap, CAPRIGHTS_READ_WRITE);
286     if (dest_cnode_cap->type != ObjType_L1CNode &&
287         dest_cnode_cap->type != ObjType_L2CNode) {
288         debug(SUBSYS_CAPS, "destcn type: %d\n", dest_cnode_cap->type);
292     return SYSRET(caps_retype(type, objsize, count, dest_cnode_cap, dest_slot,
310     struct capability *dest_cnode_cap;
312                           &dest_cnode_cap, CAPRIGHTS_READ_WRITE);
319     dest_cte = caps_locate_slot(get_address(dest_cnode_cap), dest_slot);
404     struct cte *dest_cnode_cap;
406                            &dest_cnode_cap, CAPRIGHTS_READ_WRITE);
412     if (dest_cnode_cap->cap.type == ObjType_L1CNode ||
413         dest_cnode_cap->cap.type == ObjType_L2CNode)
415         return SYSRET(caps_copy_to_cnode(dest_cnode_cap, dest_slot, src_cap,