Lines Matching defs:src
473 struct capability *src = (struct capability *)sa->arg2;
475 struct cte *next = mdb_find_greater(src, false);
479 .value = (next && is_ancestor(&next->cap, src)),
491 struct capability *src = (struct capability *)sa->arg2;
496 return sys_monitor_is_retypeable(src, offset, objsize, count);
537 // user pointer to src cap, check access
694 // user pointer to src cap, check access
699 struct capability *src = (struct capability *)sa->arg6;
701 return sys_monitor_copy_existing(src, croot_cptr, cnode_cptr, cnode_level, slot);
733 struct capability *src =
737 if (src->type == ObjType_Null ) {
742 if ((src->type == ObjType_EndPoint || src->type == ObjType_Dispatcher
743 || src->type == ObjType_Kernel || src->type == ObjType_IRQTable)
751 slot, owner, src));