Lines Matching defs:cptr
52 capaddr_t cptr = args[0];
60 struct sysret sr = sys_dispatcher_setup(to, cptr, level, vptr, dptr, run, odptr);
202 capaddr_t cptr = args[0];
204 return sys_delete(root, cptr, level);
210 capaddr_t cptr = args[0];
212 return sys_revoke(root, cptr, level);
218 capaddr_t cptr = args[0];
220 return sys_get_state(root, cptr, level);
250 capaddr_t cptr = args[0];
255 err = caps_lookup_slot(&dcb_current->cspace.cap, cptr, level,
419 capaddr_t cptr = args[0];
424 return sys_monitor_identify_cap(root, cptr, level, retbuf);
468 capaddr_t cptr = args[2];
473 return sys_monitor_remote_relations(root_addr, root_level, cptr, level,
529 capaddr_t cptr = args[0];
532 return sys_monitor_nullify_cap(cptr, level);
767 capaddr_t cptr = args[0];
770 return sys_monitor_domain_id(cptr, domain_id);
778 capaddr_t cptr = args[2];
781 return sys_get_cap_owner(root_addr, root_level, cptr, level);
789 capaddr_t cptr = args[2];
793 return sys_set_cap_owner(root_addr, root_level, cptr, level, owner);
801 capaddr_t cptr = args[2];
804 return sys_lock_cap(root_addr, root_level, cptr, level);
812 capaddr_t cptr = args[2];
815 return sys_unlock_cap(root_addr, root_level, cptr, level);
828 capaddr_t cptr = args[0];
829 err = caps_lookup_cap(&dcb_current->cspace.cap, cptr, 2, &frame,