barrelfish-master/kernel/syscall.c

224  * \param source_cptr           Source capability cptr
236 sys_retype(struct capability *root, capaddr_t source_croot, capaddr_t source_cptr,
257     err = caps_lookup_slot(source_root, source_cptr, 2, &source_cte,
345  * \param source_cptr       Source capability cptr relative to source cspace
355                  source_croot_ptr, capaddr_t source_cptr,
384     err = caps_lookup_slot(src_croot, source_cptr, source_level, &src_cap,
424         capaddr_t source_cptr, uint8_t source_level, uintptr_t flags,
451     err = caps_lookup_slot(src_root, source_cptr, source_level, &src_cte,
491 sys_copy_remap(struct capability *ptable, cslot_t slot, capaddr_t source_cptr,
503     err = caps_lookup_slot(root, source_cptr, source_level, &src_cte,