Searched refs:ivace_release (Results 1 – 1 of 1) sorted by relevance
161 static void ivace_release(iv_index_t key_index, iv_index_t value_index);287 ivace_release(i, iv->iv_table[i]); in iv_dealloc()746 ivace_release( in ivace_release() function1009 ivace_release(key_index, save_val_index); in ipc_replace_voucher_value()1065 ivace_release(key_index, save_val_index); in ipc_directly_replace_voucher_value()1109 ivace_release(j, val_index); in ipc_execute_voucher_recipe_command()1127 ivace_release(key_index, val_index); in ipc_execute_voucher_recipe_command()1163 ivace_release(j, val_index); in ipc_execute_voucher_recipe_command()1186 ivace_release(key_index, val_index); in ipc_execute_voucher_recipe_command()