Searched refs:current_slot (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/libs/libsel4allocman/src/cspace/
H A Dsimple1level.c21 .config = config, .current_slot = config.first_slot
29 if (cspace->current_slot == cspace->config.end_slot) {
33 *slot = _cspace_simple1level_make_path(cspace, cspace->current_slot++);
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/cspace/
H A Dsimple1level.c21 .config = config, .current_slot = config.first_slot
29 if (cspace->current_slot == cspace->config.end_slot) {
33 *slot = _cspace_simple1level_make_path(cspace, cspace->current_slot++);
/seL4-refos-master/libs/libsel4allocman/include/allocman/cspace/
H A Dsimple1level.h37 size_t current_slot; member in struct:cspace_simple1level
/seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/cspace/
H A Dsimple1level.h37 size_t current_slot; member in struct:cspace_simple1level

Completed in 77 milliseconds