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

/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/cspace/
H A Dtwo_level.c181 cspacepath_t level2_slot; local
209 error = _cspace_single_level_alloc(alloc, &cspace->second_levels[i]->second_level, &level2_slot);
216 *slot = _cspace_two_level_make_path(cspace, (i << cspace->config.level_two_bits) | level2_slot.capPtr);
/seL4-refos-master/libs/libsel4allocman/src/cspace/
H A Dtwo_level.c181 cspacepath_t level2_slot; local
209 error = _cspace_single_level_alloc(alloc, &cspace->second_levels[i]->second_level, &level2_slot);
216 *slot = _cspace_two_level_make_path(cspace, (i << cspace->config.level_two_bits) | level2_slot.capPtr);

Completed in 23 milliseconds