Home
last modified time | relevance | path

Searched refs:lower_index (Results 1 – 1 of 1) sorted by relevance

/hyp/core/cspace_twolevel/src/
A Dcspace_twolevel.c232 index_t upper_index, lower_index; in cspace_lookup_cap_slot() local
236 &lower_index); in cspace_lookup_cap_slot()
240 *cap = &table->cap_slots[lower_index]; in cspace_lookup_cap_slot()
351 index_t upper_index, lower_index; in cspace_allocate_cap_slot() local
393 &lower_index))) { in cspace_allocate_cap_slot()
397 } while (bitmap_atomic_test_and_set(table->used_slots, lower_index, in cspace_allocate_cap_slot()
400 *cap = &table->cap_slots[lower_index]; in cspace_allocate_cap_slot()
401 *cap_id = cspace_indices_to_cap_id(cspace, upper_index, lower_index); in cspace_allocate_cap_slot()
413 index_t upper_index, lower_index; in cspace_free_cap_slot() local
416 lower_index = cspace_get_cap_slot_index(table, cap); in cspace_free_cap_slot()
[all …]

Completed in 10 milliseconds