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() local116 MBEDTLS_PUT_UINT32_BE(r_node_idx, r_node_idx_bytes, 0); in create_merkle_leaf_value()117 status = psa_hash_update(&op, r_node_idx_bytes, 4); in create_merkle_leaf_value()176 unsigned char r_node_idx_bytes[4]; in create_merkle_internal_value() local190 MBEDTLS_PUT_UINT32_BE(r_node_idx, r_node_idx_bytes, 0); in create_merkle_internal_value()191 status = psa_hash_update(&op, r_node_idx_bytes, 4); in create_merkle_internal_value()
