Lines Matching defs:cptr
204 // Source capability cptr
216 // Destination cspace cptr
218 // Destination cnode cptr
251 capaddr_t cptr = (capaddr_t)sa->arg2;
254 return sys_delete(root, cptr, bits);
289 capaddr_t cptr = (capaddr_t)sa->arg2;
292 return sys_revoke(root, cptr, bits);
306 capaddr_t cptr = (capaddr_t)sa->arg2;
309 return sys_get_state(root, cptr, bits);
558 capaddr_t cptr = sa->arg2;
561 return sys_monitor_domain_id(cptr, domain_id);
569 capaddr_t cptr = sa->arg4;
572 return sys_get_cap_owner(root_addr, root_bits, cptr, bits);
580 capaddr_t cptr = sa->arg4;
584 return sys_set_cap_owner(root_addr, root_bits, cptr, bits, owner);
592 capaddr_t cptr = sa->arg4;
595 return sys_lock_cap(root_addr, root_bits, cptr, bits);
603 capaddr_t cptr = sa->arg4;
606 return sys_unlock_cap(root_addr, root_bits, cptr, bits);
640 capaddr_t cptr = sa->arg4;
645 return sys_monitor_remote_relations(root_addr, root_bits, cptr, bits,
670 capaddr_t cptr = sa->arg2;
673 return sys_monitor_nullify_cap(cptr, bits);
755 capaddr_t cptr = sa->arg2;
759 return sys_monitor_identify_cap(&dcb_current->cspace.cap, cptr, bits, retbuf);
770 capaddr_t cptr = sa->arg4;
781 return sys_monitor_identify_cap(root, cptr, bits, retbuf);