Searched refs:ivace_release (Results 1 – 1 of 1) sorted by relevance
187 static void ivace_release(iv_index_t key_index, iv_index_t value_index);319 ivace_release(i, iv->iv_table[i]); in iv_dealloc()939 ivace_release( in ivace_release() function1219 ivace_release(key_index, save_val_index); in ipc_replace_voucher_value()1275 ivace_release(key_index, save_val_index); in ipc_directly_replace_voucher_value()1326 ivace_release(j, val_index); in ipc_execute_voucher_recipe_command()1344 ivace_release(key_index, val_index); in ipc_execute_voucher_recipe_command()1387 ivace_release(j, val_index); in ipc_execute_voucher_recipe_command()1410 ivace_release(key_index, val_index); in ipc_execute_voucher_recipe_command()