Searched refs:newroot_cptr (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/kernel/include/
H A Dsyscall.h63 struct sysret sys_resize_l1cnode(struct capability *root, capaddr_t newroot_cptr,
/barrelfish-master/kernel/
H A Dsyscall.c582 struct sysret sys_resize_l1cnode(struct capability *root, capaddr_t newroot_cptr, argument
594 err = caps_lookup_slot(root, newroot_cptr, 2, &newroot, CAPRIGHTS_ALLRIGHTS);

Completed in 15 milliseconds