Lines Matching defs:src_cte
1420 struct cte *src_cte, gensize_t offset,
1429 struct capability *src_cap = &src_cte->cap;
1488 TRACE_CAP_MSG("retyping", src_cte);
1491 err = is_retypeable(src_cte, src_cap->type, type, from_monitor);
1692 if (src_cte->mdbnode.owner != my_core_id &&
1696 dest_cte[0].mdbnode.owner = src_cte->mdbnode.owner;
1717 errval_t is_retypeable(struct cte *src_cte, enum objtype src_type,
1722 } else if (!is_revoked_first(src_cte, src_type)){
1723 //printf("err_revoke_first: (%p, %d, %d)\n", src_cte, src_type, dest_type);
1725 } else if (dest_type == ObjType_EndPoint && src_cte->mdbnode.owner == my_core_id) {
1732 } else if (!from_monitor && (src_cte->mdbnode.owner != my_core_id
1733 || src_cte->mdbnode.remote_descs)) {
1742 struct cte *src_cte, bool mint, uintptr_t param1,
1752 src_cte->cap.type != ObjType_L2CNode &&
1753 src_cte->cap.type != ObjType_KernelControlBlock)
1756 src_cte->cap.type, dest_cnode_cte->cap.type);
1762 return caps_copy_to_cte(dest_cte, src_cte, mint, param1, param2);
1768 errval_t caps_copy_to_cte(struct cte *dest_cte, struct cte *src_cte, bool mint,
1775 assert(src_cte != NULL);
1777 struct capability *src_cap = &src_cte->cap;
1789 assert(!src_cte->mdbnode.in_delete);
1798 #define CP_ATTR(at) dest_cte->mdbnode.at = src_cte->mdbnode.at