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

/seL4-test-master/projects/seL4_libs/libsel4allocman/src/cspace/
H A Dsingle_level.c23 size_t num_slots; local
28 num_slots = cspace->config.end_slot - cspace->config.first_slot;
29 num_entries = num_slots / BITS_PER_WORD;
31 if (num_slots % BITS_PER_WORD != 0) {
40 if (num_slots % BITS_PER_WORD != 0) {
42 size_t excess = num_slots % BITS_PER_WORD;

Completed in 22 milliseconds