Searched refs:newroot (Results 1 - 1 of 1) sorted by last modified time
| /barrelfish-master/kernel/ |
| H A D | syscall.c | 593 struct cte *newroot; local
594 err = caps_lookup_slot(root, newroot_cptr, 2, &newroot, CAPRIGHTS_ALLRIGHTS);
598 if (newroot->cap.type != ObjType_L1CNode) {
616 cslot_t newroot_slots = cnode_get_slots(&newroot->cap);
623 struct cte *dest = caps_locate_slot(get_address(&newroot->cap), i);
647 err = caps_copy_to_cte(&dcb_current->cspace, newroot, false, 0, 0);
653 struct cte *taskcn = caps_locate_slot(get_address(&newroot->cap),
662 err = caps_copy_to_cte(rootcn_cap, newroot, false, 0, 0);
|
Completed in 29 milliseconds