Lines Matching defs:cptr
201 // Source capability cptr
213 // Destination cspace cptr
215 // Destination cnode cptr
248 capaddr_t cptr = (capaddr_t)sa->arg2;
251 return sys_delete(root, cptr, level);
288 capaddr_t cptr = (capaddr_t)sa->arg2;
291 return sys_revoke(root, cptr, level);
305 capaddr_t cptr = (capaddr_t)sa->arg2;
308 return sys_get_state(root, cptr, level);
595 capaddr_t cptr = sa->arg2;
598 return sys_monitor_domain_id(cptr, domain_id);
606 capaddr_t cptr = sa->arg4;
609 return sys_get_cap_owner(root_addr, root_level, cptr, level);
617 capaddr_t cptr = sa->arg4;
621 return sys_set_cap_owner(root_addr, root_level, cptr, level, owner);
629 capaddr_t cptr = sa->arg4;
632 return sys_lock_cap(root_addr, root_level, cptr, level);
640 capaddr_t cptr = sa->arg4;
643 return sys_unlock_cap(root_addr, root_level, cptr, level);
677 capaddr_t cptr = sa->arg4;
682 return sys_monitor_remote_relations(root_addr, root_level, cptr, level,
707 capaddr_t cptr = sa->arg2;
710 return sys_monitor_nullify_cap(cptr, level);
796 capaddr_t cptr = sa->arg2;
800 return sys_monitor_identify_cap(&dcb_current->cspace.cap, cptr, level, retbuf);
811 capaddr_t cptr = sa->arg4;
822 return sys_monitor_identify_cap(root, cptr, level, retbuf);