Lines Matching defs:cptr
45 capaddr_t cptr = args[1];
52 return sys_dispatcher_setup(to, cptr, depth, vptr, dptr, run, odptr);
113 // Source capability cptr
119 // Destination cnode cptr
123 // Valid bits in destination cnode cptr
187 capaddr_t cptr = args[0];
189 return sys_delete(root, cptr, bits);
195 capaddr_t cptr = args[0];
197 return sys_revoke(root, cptr, bits);
203 capaddr_t cptr = args[0];
205 return sys_get_state(root, cptr, bits);
407 capaddr_t cptr = args[0];
411 return sys_monitor_identify_cap(root, cptr, bits, retbuf);
454 capaddr_t cptr = args[2];
459 return sys_monitor_remote_relations(root_addr, root_bits, cptr, bits,
514 capaddr_t cptr = args[0];
517 return sys_monitor_nullify_cap(cptr, bits);
553 capaddr_t cptr = args[0];
556 return sys_monitor_domain_id(cptr, domain_id);
564 capaddr_t cptr = args[2];
567 return sys_get_cap_owner(root_addr, root_bits, cptr, bits);
575 capaddr_t cptr = args[2];
579 return sys_set_cap_owner(root_addr, root_bits, cptr, bits, owner);
587 capaddr_t cptr = args[2];
590 return sys_lock_cap(root_addr, root_bits, cptr, bits);
598 capaddr_t cptr = args[2];
601 return sys_unlock_cap(root_addr, root_bits, cptr, bits);
614 capaddr_t cptr = args[0];
615 err = caps_lookup_cap(&dcb_current->cspace.cap, cptr, CPTR_BITS, &frame,