Searched refs:ivace_release (Results 1 – 1 of 1) sorted by relevance
186 static void ivace_release(iv_index_t key_index, iv_index_t value_index);311 ivace_release(i, iv->iv_table[i]); in iv_dealloc()931 ivace_release( in ivace_release() function1211 ivace_release(key_index, save_val_index); in ipc_replace_voucher_value()1267 ivace_release(key_index, save_val_index); in ipc_directly_replace_voucher_value()1318 ivace_release(j, val_index); in ipc_execute_voucher_recipe_command()1336 ivace_release(key_index, val_index); in ipc_execute_voucher_recipe_command()1379 ivace_release(j, val_index); in ipc_execute_voucher_recipe_command()1402 ivace_release(key_index, val_index); in ipc_execute_voucher_recipe_command()