static errval_t spawn_setup_inherited_caps(struct spawninfo *si,
struct capref inheritcn_cap)
{
errval_t err;
struct cnoderef inheritcn;
if (capref_is_null(inheritcn_cap)) {
return SYS_ERR_OK;
}
err = cnode_build_cnoderef(&inheritcn, inheritcn_cap);
if (err_is_fail(err)) {
return err;
}
/* Copy the file descriptor frame cap over */
err = spawn_setup_fdcap(si, inheritcn);
if (err_is_fail(err)) {
return err_push(err, SPAWN_ERR_SETUP_FDCAP);
}
/* Copy the session capability over */
err = spawn_setup_sidcap(si, inheritcn);
if (err_is_fail(err)) {
return err_push(err, SPAWN_ERR_SETUP_SIDCAP);
}
return SYS_ERR_OK;
}
/**
* Copies caps in inherited cnode into targets cspace.
*
* \param si Target spawninfo
* \param inheritcn_cap Cnode of caps to inherit
* \retval SYS_ERR_OK Caps have been copied.
*/
static errval_t spawn_setup_inherited_caps(struct spawninfo *si,
struct capref inheritcn_cap)
{
errval_t err;
struct cnoderef inheritcn;
if (capref_is_null(inheritcn_cap)) {
return SYS_ERR_OK;
}
err = cnode_build_cnoderef(&inheritcn, inheritcn_cap);
if (err_is_fail(err)) {
return err;
}
/* Copy the file descriptor frame cap over */
err = spawn_setup_inherited_cap(inheritcn, INHERITCN_SLOT_FDSPAGE,
si->taskcn, TASKCN_SLOT_FDSPAGE);
if (err_is_fail(err)) {
return err_push(err, SPAWN_ERR_SETUP_FDCAP);
}
/* Copy the session capability over */
err = spawn_setup_inherited_cap(inheritcn, INHERITCN_SLOT_SESSIONID,
si->taskcn, TASKCN_SLOT_SESSIONID);
if (err_is_fail(err)) {
return err_push(err, SPAWN_ERR_SETUP_SIDCAP);
}
/* Copy the kernel capability over, scary */
err = spawn_setup_inherited_cap(inheritcn, INHERITCN_SLOT_KERNELCAP,
si->taskcn, TASKCN_SLOT_KERNELCAP);
if (err_is_fail(err)) {
return err_push(err, SPAWN_ERR_SETUP_KERNEL_CAP);
}
return SYS_ERR_OK;
}
