Searched refs:r_node_idx_bytes (Results 1 – 1 of 1) sorted by relevance
102 unsigned char r_node_idx_bytes[4]; in create_merkle_leaf_value() local119 MBEDTLS_PUT_UINT32_BE(r_node_idx, r_node_idx_bytes, 0); in create_merkle_leaf_value()120 status = psa_hash_update(&op, r_node_idx_bytes, 4); in create_merkle_leaf_value()179 unsigned char r_node_idx_bytes[4]; in create_merkle_internal_value() local193 MBEDTLS_PUT_UINT32_BE(r_node_idx, r_node_idx_bytes, 0); in create_merkle_internal_value()194 status = psa_hash_update(&op, r_node_idx_bytes, 4); in create_merkle_internal_value()