Searched refs:newroot_slots (Results 1 - 1 of 1) sorted by path
| /barrelfish-master/kernel/ | ||
| H A D | syscall.c | 616 cslot_t newroot_slots = cnode_get_slots(&newroot->cap); local 617 for (cslot_t i = 0; i < min(root_slots, newroot_slots); i++) { |
Completed in 41 milliseconds