Searched refs:ivace_release (Results 1 – 1 of 1) sorted by relevance
165 static void ivace_release(iv_index_t key_index, iv_index_t value_index);269 ivace_release(i, iv->iv_table[i]); in iv_dealloc()744 ivace_release( in ivace_release() function1022 ivace_release(key_index, save_val_index); in ipc_replace_voucher_value()1078 ivace_release(key_index, save_val_index); in ipc_directly_replace_voucher_value()1122 ivace_release(j, val_index); in ipc_execute_voucher_recipe_command()1140 ivace_release(key_index, val_index); in ipc_execute_voucher_recipe_command()1176 ivace_release(j, val_index); in ipc_execute_voucher_recipe_command()1199 ivace_release(key_index, val_index); in ipc_execute_voucher_recipe_command()