Lines Matching defs:src
305 struct capability *src = (struct capability *)args;
307 struct cte *next = mdb_find_greater(src, false);
311 .value = (next && is_ancestor(&next->cap, src)),
318 struct capability *src = (struct capability*)args;
325 return sys_monitor_is_retypeable(src, offset, objsize, count);
482 struct capability *src = (struct capability *)args;
486 if (src->type == ObjType_Null) {
493 if ((src->type == ObjType_EndPoint || src->type == ObjType_Dispatcher
494 || src->type == ObjType_Kernel || src->type == ObjType_IRQTable)
508 slot, owner, src));
515 struct capability *src = (struct capability *)args;
523 return sys_monitor_copy_existing(src, croot_cptr, cnode_cptr, cnode_level, slot);