barrelfish-2018-10-04/kernel/capabilities.c

1203                                    int cnode_level, cslot_t dest_slot, coreid_t owner,
1220     struct cte *dest = caps_locate_slot(get_address(cnode), dest_slot);
1417 /// `dest_cnode` starting at `dest_slot`.
1419                      struct capability *dest_cnode, cslot_t dest_slot,
1607     if (dest_slot + count > cnode_get_slots(dest_cnode)) {
1614           " dest_slot %d\n",
1615           get_address(dest_cnode), (int)dest_slot);
1617         if (caps_locate_slot(get_address(dest_cnode), dest_slot + i)->cap.type
1620                   (int)(dest_slot + i));
1662         caps_locate_slot(get_address(dest_cnode), dest_slot);
1741 errval_t caps_copy_to_cnode(struct cte *dest_cnode_cte, cslot_t dest_slot,
1761     dest_cte = caps_locate_slot(get_address(&dest_cnode_cte->cap), dest_slot);