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