Home
last modified time | relevance | path

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

/hyp/core/cspace_twolevel/src/
A Dcspace_twolevel.c309 bool cap_list_empty; in cspace_destroy_cap_table() local
331 cap_list_empty = list_is_empty(&header->cap_list); in cspace_destroy_cap_table()
334 if (cap_list_empty) { in cspace_destroy_cap_table()
714 bool cap_list_empty = false; in cspace_delete_cap() local
736 cap_list_empty = list_is_empty(&header->cap_list); in cspace_delete_cap()
756 if (cap_list_empty) { in cspace_delete_cap()

Completed in 25 milliseconds