Home
last modified time | relevance | path

Searched refs:upper_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
252 index_t *upper_index) in cspace_allocate_cap_table() argument
287 *upper_index = index; in cspace_allocate_cap_table()
351 index_t upper_index, lower_index; in cspace_allocate_cap_slot() local
362 &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() local
417 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