Searched refs:l1slot (Results 1 - 2 of 2) sorted by relevance
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/cspace/ |
H A D | two_level.c | 23 size_t l1slot, l2slot; local 25 l1slot = slot >> cspace->config.level_two_bits; 30 if (!cspace->second_levels[l1slot]) { 36 l1_path = _cspace_single_level_make_path(&cspace->first_level, l1slot); 37 l2_path = _cspace_single_level_make_path(&cspace->second_levels[l1slot]->second_level, l2slot); 50 path->cnode = l1slot; 149 size_t l1slot; local 152 l1slot = slot >> cspace->config.level_two_bits; 155 if (!cspace->second_levels[l1slot]) { 156 error = _cspace_single_level_alloc_at(alloc, &cspace->first_level, l1slot); 196 cspacepath_t l1slot; local 237 size_t l1slot; local [all...] |
/seL4-refos-master/libs/libsel4allocman/src/cspace/ |
H A D | two_level.c | 23 size_t l1slot, l2slot; local 25 l1slot = slot >> cspace->config.level_two_bits; 30 if (!cspace->second_levels[l1slot]) { 36 l1_path = _cspace_single_level_make_path(&cspace->first_level, l1slot); 37 l2_path = _cspace_single_level_make_path(&cspace->second_levels[l1slot]->second_level, l2slot); 50 path->cnode = l1slot; 149 size_t l1slot; local 152 l1slot = slot >> cspace->config.level_two_bits; 155 if (!cspace->second_levels[l1slot]) { 156 error = _cspace_single_level_alloc_at(alloc, &cspace->first_level, l1slot); 196 cspacepath_t l1slot; local 237 size_t l1slot; local [all...] |
Completed in 25 milliseconds