Searched refs:dest_cnode_cte (Results 1 - 2 of 2) sorted by last modified time

/barrelfish-2018-10-04/kernel/include/
H A Dcapabilities.h121 errval_t caps_copy_to_cnode(struct cte *dest_cnode_cte, cslot_t dest_slot,
/barrelfish-2018-10-04/kernel/
H A Dcapabilities.c1741 errval_t caps_copy_to_cnode(struct cte *dest_cnode_cte, cslot_t dest_slot, argument
1746 assert(dest_cnode_cte->cap.type == ObjType_L1CNode ||
1747 dest_cnode_cte->cap.type == ObjType_L2CNode);
1751 if (dest_cnode_cte->cap.type == ObjType_L1CNode &&
1756 src_cte->cap.type, dest_cnode_cte->cap.type);
1761 dest_cte = caps_locate_slot(get_address(&dest_cnode_cte->cap), dest_slot);

Completed in 42 milliseconds