libsel4allocman/src/bootstrap.c

20 #include <allocman/utspace/split.h>
676     UTMAN_TYPE *utspace;
677     utspace = allocman_mspace_alloc(bs->alloc, sizeof(*utspace), &error);
682     UTMAN_CREATE(utspace);
684     error = allocman_attach_utspace(bs->alloc, UTMAN_MAKE_INTERFACE(utspace));
690         error = UTMAN_ADD_UTS(bs->alloc, utspace, 1, &bs->uts[i], &bs->ut_size_bits[i], &bs->ut_paddr[i], bs->ut_isDevice[i] ? ALLOCMAN_UT_DEV : ALLOCMAN_UT_KERNEL);
977     from one utspace manager and deposits into a different utspace manager with
1080  * @param  alloc           an allocman with a cspace, mspace and utspace inside it.