Searched refs:save_val_index (Results 1 – 1 of 1) sorted by relevance
960 iv_index_t save_val_index; in ipc_replace_voucher_value() local976 save_val_index = iv_lookup(voucher, key_index); in ipc_replace_voucher_value()986 save_val_index; in ipc_replace_voucher_value()1022 ivace_release(key_index, save_val_index); in ipc_replace_voucher_value()1045 iv_index_t save_val_index; in ipc_directly_replace_voucher_value() local1060 save_val_index = iv_lookup(voucher, key_index); in ipc_directly_replace_voucher_value()1078 ivace_release(key_index, save_val_index); in ipc_directly_replace_voucher_value()