Searched refs:ivace_release (Results 1 – 1 of 1) sorted by relevance
162 static void ivace_release(iv_index_t key_index, iv_index_t value_index);288 ivace_release(i, iv->iv_table[i]); in iv_dealloc()747 ivace_release( in ivace_release() function1010 ivace_release(key_index, save_val_index); in ipc_replace_voucher_value()1066 ivace_release(key_index, save_val_index); in ipc_directly_replace_voucher_value()1110 ivace_release(j, val_index); in ipc_execute_voucher_recipe_command()1128 ivace_release(key_index, val_index); in ipc_execute_voucher_recipe_command()1164 ivace_release(j, val_index); in ipc_execute_voucher_recipe_command()1187 ivace_release(key_index, val_index); in ipc_execute_voucher_recipe_command()