Lines Matching defs:src
40 errval_t cnode_create_from_mem(struct capref dest, struct capref src,
46 errval_t cap_retype(struct capref dest_start, struct capref src, gensize_t offset,
57 errval_t devframe_type(struct capref *dest, struct capref src, uint8_t bits);
76 * \param src Location of source slot
84 cap_mint(struct capref dest, struct capref src, uint64_t param1, uint64_t param2)
89 capaddr_t scp_root = get_croot_addr(src);
90 capaddr_t scp_addr = get_cap_addr(src);
91 uint8_t scp_level = get_cap_level(src);
102 * \param src source Frame cap
108 vnode_map(struct capref dest, struct capref src, capaddr_t slot,
114 capaddr_t sroot = get_croot_addr(src);
115 capaddr_t saddr = get_cap_addr(src);
116 uint8_t slevel = get_cap_level(src);
144 * \param src Location of source capability
146 static inline errval_t cap_copy(struct capref dest, struct capref src)
151 capaddr_t scp_root = get_croot_addr(src);
152 capaddr_t scp_addr = get_cap_addr(src);
154 uint8_t scp_level = get_cap_level(src);