Searched refs:upper_index (Results 1 – 1 of 1) sorted by relevance
232 index_t upper_index, lower_index; in cspace_lookup_cap_slot() local252 index_t *upper_index) in cspace_allocate_cap_table() argument287 *upper_index = index; in cspace_allocate_cap_table()351 index_t upper_index, lower_index; in cspace_allocate_cap_slot() local362 &upper_index)) { in cspace_allocate_cap_slot()378 bitmap_set(cspace->available_tables, upper_index); in cspace_allocate_cap_slot()385 bitmap_clear(cspace->available_tables, upper_index); in cspace_allocate_cap_slot()413 index_t upper_index, lower_index; in cspace_free_cap_slot() local417 upper_index = table->index; in cspace_free_cap_slot()425 bitmap_set(cspace->available_tables, upper_index); in cspace_free_cap_slot()[all …]
Completed in 6 milliseconds