Searched refs:save_val_index (Results 1 – 1 of 1) sorted by relevance
949 iv_index_t save_val_index; in ipc_replace_voucher_value() local965 save_val_index = iv_lookup(voucher, key_index); in ipc_replace_voucher_value()975 save_val_index; in ipc_replace_voucher_value()1010 ivace_release(key_index, save_val_index); in ipc_replace_voucher_value()1033 iv_index_t save_val_index; in ipc_directly_replace_voucher_value() local1048 save_val_index = iv_lookup(voucher, key_index); in ipc_directly_replace_voucher_value()1066 ivace_release(key_index, save_val_index); in ipc_directly_replace_voucher_value()