Lines Matching refs:root
72 capaddr_t root = sa->arg2;
79 return sys_dispatcher_setup(to, root, level, vptr, dptr, run, odptr);
111 static struct sysret copy_or_mint(struct capability *root,
132 struct sysret sr = sys_copy_or_mint(root, dest_cspace_cptr, destcn_cptr, dest_slot,
141 struct capability* root,
148 return copy_or_mint(root, &context->syscall_args, true);
153 struct capability* root,
160 return copy_or_mint(root, &context->syscall_args, false);
165 struct capability* root,
196 return sys_retype(root, source_croot, source_cptr, offset, type,
203 struct capability* root,
208 return handle_retype_common(root, false, context, argc);
213 struct capability* root,
225 return sys_delete(root, cptr, level);
230 struct capability* root,
248 return sys_create(root, type, objsize, dest_cptr, dest_level, dest_slot);
253 struct capability* root,
265 return sys_revoke(root, cptr, level);
270 struct capability* root,
282 return sys_get_state(root, cptr, level);
287 struct capability* root,
293 return sys_get_size_l1cnode(root);
300 struct capability* root,
311 return sys_resize_l1cnode(root, newroot_ptr, retcn_ptr, retslot);
780 struct capability *root;
782 &root, CAPRIGHTS_READ);
787 return sys_monitor_identify_cap(root, cptr, level, retbuf);
914 static struct sysret handle_cap_identify(struct capability *root,
925 return sys_identify_cap(root, cptr, level, cap);