barrelfish-master/kernel/monitor.c

395     struct capability *retcn;
397                           ret_cn_level, &retcn, CAPRIGHTS_WRITE);
402     if (retcn->type != ObjType_L1CNode &&
403         retcn->type != ObjType_L2CNode) {
406     if (ret_slot > cnode_get_slots(retcn)) {
410     struct cte *retslot = caps_locate_slot(get_address(retcn), ret_slot);
453     struct capability *retcn;
455                           &retcn, CAPRIGHTS_WRITE);
460     if (retcn->type != ObjType_L1CNode &&
461         retcn->type != ObjType_L2CNode) {
464     if (slot > cnode_get_slots(retcn)) {
469     retslot = caps_locate_slot(get_address(retcn), slot);