Home
last modified time | relevance | path

Searched defs: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()
351 index_t upper_index, lower_index; in cspace_allocate_cap_slot() local
413 index_t upper_index, lower_index; in cspace_free_cap_slot() local

Completed in 7 milliseconds