xref: /optee_os/core/tee/fs_htree.c (revision 623b9bd4ec219aa5d6a4eaec16d341e54ff658a9)
11bb92983SJerome Forissier // SPDX-License-Identifier: BSD-2-Clause
250a81498SJens Wiklander /*
350a81498SJens Wiklander  * Copyright (c) 2017, Linaro Limited
450a81498SJens Wiklander  */
550a81498SJens Wiklander 
650a81498SJens Wiklander #include <assert.h>
7e1770e71SJens Wiklander #include <crypto/crypto.h>
850a81498SJens Wiklander #include <initcall.h>
950a81498SJens Wiklander #include <kernel/tee_common_otp.h>
1050a81498SJens Wiklander #include <stdlib.h>
1150a81498SJens Wiklander #include <string_ext.h>
1250a81498SJens Wiklander #include <string.h>
1350a81498SJens Wiklander #include <tee/fs_htree.h>
1450a81498SJens Wiklander #include <tee/tee_fs_key_manager.h>
1550a81498SJens Wiklander #include <tee/tee_fs_rpc.h>
1650a81498SJens Wiklander #include <utee_defines.h>
1750a81498SJens Wiklander #include <util.h>
1850a81498SJens Wiklander 
1950a81498SJens Wiklander #define TEE_FS_HTREE_CHIP_ID_SIZE	32
2050a81498SJens Wiklander #define TEE_FS_HTREE_HASH_ALG		TEE_ALG_SHA256
2150a81498SJens Wiklander #define TEE_FS_HTREE_TSK_SIZE		TEE_FS_HTREE_HASH_SIZE
2250a81498SJens Wiklander #define TEE_FS_HTREE_ENC_ALG		TEE_ALG_AES_ECB_NOPAD
2350a81498SJens Wiklander #define TEE_FS_HTREE_ENC_SIZE		TEE_AES_BLOCK_SIZE
2450a81498SJens Wiklander #define TEE_FS_HTREE_SSK_SIZE		TEE_FS_HTREE_HASH_SIZE
2550a81498SJens Wiklander 
2650a81498SJens Wiklander #define TEE_FS_HTREE_AUTH_ENC_ALG	TEE_ALG_AES_GCM
2750a81498SJens Wiklander #define TEE_FS_HTREE_HMAC_ALG		TEE_ALG_HMAC_SHA256
2850a81498SJens Wiklander 
2950a81498SJens Wiklander #define BLOCK_NUM_TO_NODE_ID(num)	((num) + 1)
3050a81498SJens Wiklander 
3150a81498SJens Wiklander #define NODE_ID_TO_BLOCK_NUM(id)	((id) - 1)
3250a81498SJens Wiklander 
3350a81498SJens Wiklander /*
3450a81498SJens Wiklander  * The hash tree is implemented as a binary tree with the purpose to ensure
3550a81498SJens Wiklander  * integrity of the data in the nodes. The data in the nodes their turn
3650a81498SJens Wiklander  * provides both integrity and confidentiality of the data blocks.
3750a81498SJens Wiklander  *
3850a81498SJens Wiklander  * The hash tree is saved in a file as:
3950a81498SJens Wiklander  * +----------------------------+
4050a81498SJens Wiklander  * | htree_image.0		|
4150a81498SJens Wiklander  * | htree_image.1		|
4250a81498SJens Wiklander  * +----------------------------+
4350a81498SJens Wiklander  * | htree_node_image.1.0	|
4450a81498SJens Wiklander  * | htree_node_image.1.1	|
4550a81498SJens Wiklander  * +----------------------------+
4650a81498SJens Wiklander  * | htree_node_image.2.0	|
4750a81498SJens Wiklander  * | htree_node_image.2.1	|
4850a81498SJens Wiklander  * +----------------------------+
4950a81498SJens Wiklander  * | htree_node_image.3.0	|
5050a81498SJens Wiklander  * | htree_node_image.3.1	|
5150a81498SJens Wiklander  * +----------------------------+
5250a81498SJens Wiklander  * | htree_node_image.4.0	|
5350a81498SJens Wiklander  * | htree_node_image.4.1	|
5450a81498SJens Wiklander  * +----------------------------+
5550a81498SJens Wiklander  * ...
5650a81498SJens Wiklander  *
5750a81498SJens Wiklander  * htree_image is the header of the file, there's two instances of it. One
5850a81498SJens Wiklander  * which is committed and the other is used when updating the file. Which
5950a81498SJens Wiklander  * is committed is indicated by the "counter" field, the one with the
6050a81498SJens Wiklander  * largest value is selected.
6150a81498SJens Wiklander  *
6250a81498SJens Wiklander  * htree_node_image is a node in the hash tree, each node has two instances
6350a81498SJens Wiklander  * which is committed is decided by the parent node .flag bit
64e2adafecSJens Wiklander  * HTREE_NODE_COMMITTED_CHILD. Which version is the committed version of
6550a81498SJens Wiklander  * node 1 is determined by the by the lowest bit of the counter field in
6650a81498SJens Wiklander  * the header.
6750a81498SJens Wiklander  *
6850a81498SJens Wiklander  * Note that nodes start counting at 1 while blocks at 0, this means that
6950a81498SJens Wiklander  * block 0 is represented by node 1.
7050a81498SJens Wiklander  *
7150a81498SJens Wiklander  * Where different elements are stored in the file is managed by the file
72455856d4SJens Wiklander  * system.
7350a81498SJens Wiklander  */
7450a81498SJens Wiklander 
7550a81498SJens Wiklander #define HTREE_NODE_COMMITTED_BLOCK	BIT32(0)
7650a81498SJens Wiklander /* n is 0 or 1 */
7750a81498SJens Wiklander #define HTREE_NODE_COMMITTED_CHILD(n)	BIT32(1 + (n))
7850a81498SJens Wiklander 
7950a81498SJens Wiklander struct htree_node {
8050a81498SJens Wiklander 	size_t id;
8150a81498SJens Wiklander 	bool dirty;
82e2adafecSJens Wiklander 	bool block_updated;
8350a81498SJens Wiklander 	struct tee_fs_htree_node_image node;
8450a81498SJens Wiklander 	struct htree_node *parent;
8550a81498SJens Wiklander 	struct htree_node *child[2];
8650a81498SJens Wiklander };
8750a81498SJens Wiklander 
8850a81498SJens Wiklander struct tee_fs_htree {
8950a81498SJens Wiklander 	struct htree_node root;
9050a81498SJens Wiklander 	struct tee_fs_htree_image head;
9150a81498SJens Wiklander 	uint8_t fek[TEE_FS_HTREE_FEK_SIZE];
9250a81498SJens Wiklander 	struct tee_fs_htree_imeta imeta;
9350a81498SJens Wiklander 	bool dirty;
940c4e1284SJens Wiklander 	const TEE_UUID *uuid;
9550a81498SJens Wiklander 	const struct tee_fs_htree_storage *stor;
9650a81498SJens Wiklander 	void *stor_aux;
9750a81498SJens Wiklander };
9850a81498SJens Wiklander 
9950a81498SJens Wiklander struct traverse_arg;
10050a81498SJens Wiklander typedef TEE_Result (*traverse_cb_t)(struct traverse_arg *targ,
10150a81498SJens Wiklander 				    struct htree_node *node);
10250a81498SJens Wiklander struct traverse_arg {
10350a81498SJens Wiklander 	struct tee_fs_htree *ht;
10450a81498SJens Wiklander 	traverse_cb_t cb;
10550a81498SJens Wiklander 	void *arg;
10650a81498SJens Wiklander };
10750a81498SJens Wiklander 
10850a81498SJens Wiklander static TEE_Result rpc_read(struct tee_fs_htree *ht, enum tee_fs_htree_type type,
10950a81498SJens Wiklander 			   size_t idx, size_t vers, void *data, size_t dlen)
11050a81498SJens Wiklander {
11150a81498SJens Wiklander 	TEE_Result res;
11250a81498SJens Wiklander 	struct tee_fs_rpc_operation op;
11350a81498SJens Wiklander 	size_t bytes;
11450a81498SJens Wiklander 	void *p;
11550a81498SJens Wiklander 
11650a81498SJens Wiklander 	res = ht->stor->rpc_read_init(ht->stor_aux, &op, type, idx, vers, &p);
11750a81498SJens Wiklander 	if (res != TEE_SUCCESS)
11850a81498SJens Wiklander 		return res;
11950a81498SJens Wiklander 
12064fa6c0aSJens Wiklander 	res = ht->stor->rpc_read_final(&op, &bytes);
12150a81498SJens Wiklander 	if (res != TEE_SUCCESS)
12250a81498SJens Wiklander 		return res;
12350a81498SJens Wiklander 
12450a81498SJens Wiklander 	if (bytes != dlen)
12550a81498SJens Wiklander 		return TEE_ERROR_CORRUPT_OBJECT;
12650a81498SJens Wiklander 
12750a81498SJens Wiklander 	memcpy(data, p, dlen);
12850a81498SJens Wiklander 	return TEE_SUCCESS;
12950a81498SJens Wiklander }
13050a81498SJens Wiklander 
13150a81498SJens Wiklander static TEE_Result rpc_read_head(struct tee_fs_htree *ht, size_t vers,
13250a81498SJens Wiklander 				struct tee_fs_htree_image *head)
13350a81498SJens Wiklander {
13450a81498SJens Wiklander 	return rpc_read(ht, TEE_FS_HTREE_TYPE_HEAD, 0, vers,
13550a81498SJens Wiklander 			head, sizeof(*head));
13650a81498SJens Wiklander }
13750a81498SJens Wiklander 
13850a81498SJens Wiklander static TEE_Result rpc_read_node(struct tee_fs_htree *ht, size_t node_id,
13950a81498SJens Wiklander 				size_t vers,
14050a81498SJens Wiklander 				struct tee_fs_htree_node_image *node)
14150a81498SJens Wiklander {
14250a81498SJens Wiklander 	return rpc_read(ht, TEE_FS_HTREE_TYPE_NODE, node_id - 1, vers,
14350a81498SJens Wiklander 			node, sizeof(*node));
14450a81498SJens Wiklander }
14550a81498SJens Wiklander 
14650a81498SJens Wiklander static TEE_Result rpc_write(struct tee_fs_htree *ht,
14750a81498SJens Wiklander 			    enum tee_fs_htree_type type, size_t idx,
14850a81498SJens Wiklander 			    size_t vers, const void *data, size_t dlen)
14950a81498SJens Wiklander {
15050a81498SJens Wiklander 	TEE_Result res;
15150a81498SJens Wiklander 	struct tee_fs_rpc_operation op;
15250a81498SJens Wiklander 	void *p;
15350a81498SJens Wiklander 
15450a81498SJens Wiklander 	res = ht->stor->rpc_write_init(ht->stor_aux, &op, type, idx, vers, &p);
15550a81498SJens Wiklander 	if (res != TEE_SUCCESS)
15650a81498SJens Wiklander 		return res;
15750a81498SJens Wiklander 
15850a81498SJens Wiklander 	memcpy(p, data, dlen);
15964fa6c0aSJens Wiklander 	return ht->stor->rpc_write_final(&op);
16050a81498SJens Wiklander }
16150a81498SJens Wiklander 
16250a81498SJens Wiklander static TEE_Result rpc_write_head(struct tee_fs_htree *ht, size_t vers,
16350a81498SJens Wiklander 				 const struct tee_fs_htree_image *head)
16450a81498SJens Wiklander {
16550a81498SJens Wiklander 	return rpc_write(ht, TEE_FS_HTREE_TYPE_HEAD, 0, vers,
16650a81498SJens Wiklander 			 head, sizeof(*head));
16750a81498SJens Wiklander }
16850a81498SJens Wiklander 
16950a81498SJens Wiklander static TEE_Result rpc_write_node(struct tee_fs_htree *ht, size_t node_id,
17050a81498SJens Wiklander 				 size_t vers,
17150a81498SJens Wiklander 				 const struct tee_fs_htree_node_image *node)
17250a81498SJens Wiklander {
17350a81498SJens Wiklander 	return rpc_write(ht, TEE_FS_HTREE_TYPE_NODE, node_id - 1, vers,
17450a81498SJens Wiklander 			 node, sizeof(*node));
17550a81498SJens Wiklander }
17650a81498SJens Wiklander 
17750a81498SJens Wiklander static TEE_Result traverse_post_order(struct traverse_arg *targ,
17850a81498SJens Wiklander 				      struct htree_node *node)
17950a81498SJens Wiklander {
18050a81498SJens Wiklander 	TEE_Result res;
18150a81498SJens Wiklander 
18250a81498SJens Wiklander 	/*
18350a81498SJens Wiklander 	 * This function is recursing but not very deep, only with Log(N)
18450a81498SJens Wiklander 	 * maximum depth.
18550a81498SJens Wiklander 	 */
18650a81498SJens Wiklander 
18750a81498SJens Wiklander 	if (!node)
18850a81498SJens Wiklander 		return TEE_SUCCESS;
18950a81498SJens Wiklander 
19050a81498SJens Wiklander 	res = traverse_post_order(targ, node->child[0]);
19150a81498SJens Wiklander 	if (res != TEE_SUCCESS)
19250a81498SJens Wiklander 		return res;
19350a81498SJens Wiklander 
19450a81498SJens Wiklander 	res = traverse_post_order(targ, node->child[1]);
19550a81498SJens Wiklander 	if (res != TEE_SUCCESS)
19650a81498SJens Wiklander 		return res;
19750a81498SJens Wiklander 
19850a81498SJens Wiklander 	return targ->cb(targ, node);
19950a81498SJens Wiklander }
20050a81498SJens Wiklander 
20150a81498SJens Wiklander static TEE_Result htree_traverse_post_order(struct tee_fs_htree *ht,
20250a81498SJens Wiklander 					    traverse_cb_t cb, void *arg)
20350a81498SJens Wiklander {
20450a81498SJens Wiklander 	struct traverse_arg targ = { ht, cb, arg };
20550a81498SJens Wiklander 
20650a81498SJens Wiklander 	return traverse_post_order(&targ, &ht->root);
20750a81498SJens Wiklander }
20850a81498SJens Wiklander 
20950a81498SJens Wiklander static size_t node_id_to_level(size_t node_id)
21050a81498SJens Wiklander {
21150a81498SJens Wiklander 	assert(node_id && node_id < UINT_MAX);
21250a81498SJens Wiklander 	/* Calculate level of the node, root node (1) has level 1 */
21350a81498SJens Wiklander 	return sizeof(unsigned int) * 8 - __builtin_clz(node_id);
21450a81498SJens Wiklander }
21550a81498SJens Wiklander 
21650a81498SJens Wiklander static struct htree_node *find_closest_node(struct tee_fs_htree *ht,
21750a81498SJens Wiklander 					    size_t node_id)
21850a81498SJens Wiklander {
21950a81498SJens Wiklander 	struct htree_node *node = &ht->root;
22050a81498SJens Wiklander 	size_t level = node_id_to_level(node_id);
22150a81498SJens Wiklander 	size_t n;
22250a81498SJens Wiklander 
22350a81498SJens Wiklander 	/* n = 1 because root node is level 1 */
22450a81498SJens Wiklander 	for (n = 1; n < level; n++) {
22550a81498SJens Wiklander 		struct htree_node *child;
22650a81498SJens Wiklander 		size_t bit_idx;
22750a81498SJens Wiklander 
22850a81498SJens Wiklander 		/*
22950a81498SJens Wiklander 		 * The difference between levels of the current node and
23050a81498SJens Wiklander 		 * the node we're looking for tells which bit decides
23150a81498SJens Wiklander 		 * direction in the tree.
23250a81498SJens Wiklander 		 *
23350a81498SJens Wiklander 		 * As the first bit has index 0 we'll subtract 1
23450a81498SJens Wiklander 		 */
23550a81498SJens Wiklander 		bit_idx = level - n - 1;
23650a81498SJens Wiklander 		child = node->child[((node_id >> bit_idx) & 1)];
23750a81498SJens Wiklander 		if (!child)
23850a81498SJens Wiklander 			return node;
23950a81498SJens Wiklander 		node = child;
24050a81498SJens Wiklander 	}
24150a81498SJens Wiklander 
24250a81498SJens Wiklander 	return node;
24350a81498SJens Wiklander }
24450a81498SJens Wiklander 
24550a81498SJens Wiklander static struct htree_node *find_node(struct tee_fs_htree *ht, size_t node_id)
24650a81498SJens Wiklander {
24750a81498SJens Wiklander 	struct htree_node *node = find_closest_node(ht, node_id);
24850a81498SJens Wiklander 
24950a81498SJens Wiklander 	if (node && node->id == node_id)
25050a81498SJens Wiklander 		return node;
25150a81498SJens Wiklander 	return NULL;
25250a81498SJens Wiklander }
25350a81498SJens Wiklander 
25450a81498SJens Wiklander static TEE_Result get_node(struct tee_fs_htree *ht, bool create,
25550a81498SJens Wiklander 			   size_t node_id, struct htree_node **node_ret)
25650a81498SJens Wiklander {
25750a81498SJens Wiklander 	struct htree_node *node;
25850a81498SJens Wiklander 	struct htree_node *nc;
25950a81498SJens Wiklander 	size_t n;
26050a81498SJens Wiklander 
26150a81498SJens Wiklander 	node = find_closest_node(ht, node_id);
26250a81498SJens Wiklander 	if (!node)
26350a81498SJens Wiklander 		return TEE_ERROR_GENERIC;
26450a81498SJens Wiklander 	if (node->id == node_id)
26550a81498SJens Wiklander 		goto ret_node;
26650a81498SJens Wiklander 
26750a81498SJens Wiklander 	/*
26850a81498SJens Wiklander 	 * Trying to read beyond end of file should be caught earlier than
26950a81498SJens Wiklander 	 * here.
27050a81498SJens Wiklander 	 */
27150a81498SJens Wiklander 	if (!create)
27250a81498SJens Wiklander 		return TEE_ERROR_GENERIC;
27350a81498SJens Wiklander 
27450a81498SJens Wiklander 	/*
27550a81498SJens Wiklander 	 * Add missing nodes, some nodes may already be there. When we've
27650a81498SJens Wiklander 	 * processed the range all nodes up to node_id will be in the tree.
27750a81498SJens Wiklander 	 */
27850a81498SJens Wiklander 	for (n = node->id + 1; n <= node_id; n++) {
27950a81498SJens Wiklander 		node = find_closest_node(ht, n);
28050a81498SJens Wiklander 		if (node->id == n)
28150a81498SJens Wiklander 			continue;
28250a81498SJens Wiklander 		/* Node id n should be a child of node */
28350a81498SJens Wiklander 		assert((n >> 1) == node->id);
28450a81498SJens Wiklander 		assert(!node->child[n & 1]);
28550a81498SJens Wiklander 
28650a81498SJens Wiklander 		nc = calloc(1, sizeof(*nc));
28750a81498SJens Wiklander 		if (!nc)
28850a81498SJens Wiklander 			return TEE_ERROR_OUT_OF_MEMORY;
28950a81498SJens Wiklander 		nc->id = n;
29050a81498SJens Wiklander 		nc->parent = node;
29150a81498SJens Wiklander 		node->child[n & 1] = nc;
29250a81498SJens Wiklander 		node = nc;
29350a81498SJens Wiklander 	}
29450a81498SJens Wiklander 
29550a81498SJens Wiklander 	if (node->id > ht->imeta.max_node_id)
29650a81498SJens Wiklander 		ht->imeta.max_node_id = node->id;
29750a81498SJens Wiklander 
29850a81498SJens Wiklander ret_node:
29950a81498SJens Wiklander 	*node_ret = node;
30050a81498SJens Wiklander 	return TEE_SUCCESS;
30150a81498SJens Wiklander }
30250a81498SJens Wiklander 
30350a81498SJens Wiklander static int get_idx_from_counter(uint32_t counter0, uint32_t counter1)
30450a81498SJens Wiklander {
30550a81498SJens Wiklander 	if (!(counter0 & 1)) {
30650a81498SJens Wiklander 		if (!(counter1 & 1))
30750a81498SJens Wiklander 			return 0;
30850a81498SJens Wiklander 		if (counter0 > counter1)
30950a81498SJens Wiklander 			return 0;
31050a81498SJens Wiklander 		else
31150a81498SJens Wiklander 			return 1;
31250a81498SJens Wiklander 	}
31350a81498SJens Wiklander 
31450a81498SJens Wiklander 	if (counter1 & 1)
31550a81498SJens Wiklander 		return 1;
31650a81498SJens Wiklander 	else
31750a81498SJens Wiklander 		return -1;
31850a81498SJens Wiklander }
31950a81498SJens Wiklander 
320f28e5060SJens Wiklander static TEE_Result init_head_from_data(struct tee_fs_htree *ht,
321*623b9bd4SJens Wiklander 				      const uint8_t *hash, uint32_t min_counter)
32250a81498SJens Wiklander {
32350a81498SJens Wiklander 	TEE_Result res;
32450a81498SJens Wiklander 	int idx;
32550a81498SJens Wiklander 
326f28e5060SJens Wiklander 	if (hash) {
327f28e5060SJens Wiklander 		for (idx = 0;; idx++) {
328f28e5060SJens Wiklander 			res = rpc_read_node(ht, 1, idx, &ht->root.node);
329f28e5060SJens Wiklander 			if (res != TEE_SUCCESS)
330f28e5060SJens Wiklander 				return res;
331f28e5060SJens Wiklander 
332f28e5060SJens Wiklander 			if (!memcmp(ht->root.node.hash, hash,
333f28e5060SJens Wiklander 				    sizeof(ht->root.node.hash))) {
334f28e5060SJens Wiklander 				res = rpc_read_head(ht, idx, &ht->head);
335f28e5060SJens Wiklander 				if (res != TEE_SUCCESS)
336f28e5060SJens Wiklander 					return res;
337f28e5060SJens Wiklander 				break;
338f28e5060SJens Wiklander 			}
339f28e5060SJens Wiklander 
340f28e5060SJens Wiklander 			if (idx)
341499f488fSJoakim Nordell 				return TEE_ERROR_CORRUPT_OBJECT;
342f28e5060SJens Wiklander 		}
343f28e5060SJens Wiklander 	} else {
344f28e5060SJens Wiklander 		struct tee_fs_htree_image head[2];
345f28e5060SJens Wiklander 
34650a81498SJens Wiklander 		for (idx = 0; idx < 2; idx++) {
34750a81498SJens Wiklander 			res = rpc_read_head(ht, idx, head + idx);
34850a81498SJens Wiklander 			if (res != TEE_SUCCESS)
34950a81498SJens Wiklander 				return res;
35050a81498SJens Wiklander 		}
35150a81498SJens Wiklander 
35250a81498SJens Wiklander 		idx = get_idx_from_counter(head[0].counter, head[1].counter);
35350a81498SJens Wiklander 		if (idx < 0)
35450a81498SJens Wiklander 			return TEE_ERROR_SECURITY;
35550a81498SJens Wiklander 
35650a81498SJens Wiklander 		res = rpc_read_node(ht, 1, idx, &ht->root.node);
35750a81498SJens Wiklander 		if (res != TEE_SUCCESS)
35850a81498SJens Wiklander 			return res;
35950a81498SJens Wiklander 
36050a81498SJens Wiklander 		ht->head = head[idx];
361f28e5060SJens Wiklander 	}
362f28e5060SJens Wiklander 
363*623b9bd4SJens Wiklander 	if (ht->head.counter < min_counter)
364*623b9bd4SJens Wiklander 		return TEE_ERROR_SECURITY;
365*623b9bd4SJens Wiklander 
36650a81498SJens Wiklander 	ht->root.id = 1;
36750a81498SJens Wiklander 
36850a81498SJens Wiklander 	return TEE_SUCCESS;
36950a81498SJens Wiklander }
37050a81498SJens Wiklander 
37150a81498SJens Wiklander static TEE_Result init_tree_from_data(struct tee_fs_htree *ht)
37250a81498SJens Wiklander {
37350a81498SJens Wiklander 	TEE_Result res;
37450a81498SJens Wiklander 	struct tee_fs_htree_node_image node_image;
37550a81498SJens Wiklander 	struct htree_node *node;
37650a81498SJens Wiklander 	struct htree_node *nc;
37750a81498SJens Wiklander 	size_t committed_version;
37850a81498SJens Wiklander 	size_t node_id = 2;
37950a81498SJens Wiklander 
38050a81498SJens Wiklander 	while (node_id <= ht->imeta.max_node_id) {
38150a81498SJens Wiklander 		node = find_node(ht, node_id >> 1);
38250a81498SJens Wiklander 		if (!node)
38350a81498SJens Wiklander 			return TEE_ERROR_GENERIC;
38450a81498SJens Wiklander 		committed_version = !!(node->node.flags &
38550a81498SJens Wiklander 				    HTREE_NODE_COMMITTED_CHILD(node_id & 1));
38650a81498SJens Wiklander 
38750a81498SJens Wiklander 		res = rpc_read_node(ht, node_id, committed_version,
38850a81498SJens Wiklander 				    &node_image);
38950a81498SJens Wiklander 		if (res != TEE_SUCCESS)
39050a81498SJens Wiklander 			return res;
39150a81498SJens Wiklander 
39250a81498SJens Wiklander 		res = get_node(ht, true, node_id, &nc);
39350a81498SJens Wiklander 		if (res != TEE_SUCCESS)
39450a81498SJens Wiklander 			return res;
39550a81498SJens Wiklander 		nc->node = node_image;
39650a81498SJens Wiklander 		node_id++;
39750a81498SJens Wiklander 	}
39850a81498SJens Wiklander 
39950a81498SJens Wiklander 	return TEE_SUCCESS;
40050a81498SJens Wiklander }
40150a81498SJens Wiklander 
40294a72998SJens Wiklander static TEE_Result calc_node_hash(struct htree_node *node,
40394a72998SJens Wiklander 				 struct tee_fs_htree_meta *meta, void *ctx,
40450a81498SJens Wiklander 				 uint8_t *digest)
40550a81498SJens Wiklander {
40650a81498SJens Wiklander 	TEE_Result res;
40750a81498SJens Wiklander 	uint8_t *ndata = (uint8_t *)&node->node + sizeof(node->node.hash);
40850a81498SJens Wiklander 	size_t nsize = sizeof(node->node) - sizeof(node->node.hash);
40950a81498SJens Wiklander 
4106b3a371cSJens Wiklander 	res = crypto_hash_init(ctx);
41150a81498SJens Wiklander 	if (res != TEE_SUCCESS)
41250a81498SJens Wiklander 		return res;
41350a81498SJens Wiklander 
4146b3a371cSJens Wiklander 	res = crypto_hash_update(ctx, ndata, nsize);
41550a81498SJens Wiklander 	if (res != TEE_SUCCESS)
41650a81498SJens Wiklander 		return res;
41750a81498SJens Wiklander 
41894a72998SJens Wiklander 	if (meta) {
4196b3a371cSJens Wiklander 		res = crypto_hash_update(ctx, (void *)meta, sizeof(*meta));
42094a72998SJens Wiklander 		if (res != TEE_SUCCESS)
42194a72998SJens Wiklander 			return res;
42294a72998SJens Wiklander 	}
42394a72998SJens Wiklander 
42450a81498SJens Wiklander 	if (node->child[0]) {
4256b3a371cSJens Wiklander 		res = crypto_hash_update(ctx, node->child[0]->node.hash,
42650a81498SJens Wiklander 					 sizeof(node->child[0]->node.hash));
42750a81498SJens Wiklander 		if (res != TEE_SUCCESS)
42850a81498SJens Wiklander 			return res;
42950a81498SJens Wiklander 	}
43050a81498SJens Wiklander 
43150a81498SJens Wiklander 	if (node->child[1]) {
4326b3a371cSJens Wiklander 		res = crypto_hash_update(ctx, node->child[1]->node.hash,
43350a81498SJens Wiklander 					 sizeof(node->child[1]->node.hash));
43450a81498SJens Wiklander 		if (res != TEE_SUCCESS)
43550a81498SJens Wiklander 			return res;
43650a81498SJens Wiklander 	}
43750a81498SJens Wiklander 
4386b3a371cSJens Wiklander 	return crypto_hash_final(ctx, digest, TEE_FS_HTREE_HASH_SIZE);
43950a81498SJens Wiklander }
44050a81498SJens Wiklander 
44150a81498SJens Wiklander static TEE_Result authenc_init(void **ctx_ret, TEE_OperationMode mode,
44250a81498SJens Wiklander 			       struct tee_fs_htree *ht,
44350a81498SJens Wiklander 			       struct tee_fs_htree_node_image *ni,
44450a81498SJens Wiklander 			       size_t payload_len)
44550a81498SJens Wiklander {
44650a81498SJens Wiklander 	TEE_Result res = TEE_SUCCESS;
44750a81498SJens Wiklander 	const uint32_t alg = TEE_FS_HTREE_AUTH_ENC_ALG;
448d7ac7d0fSJens Wiklander 	void *ctx;
44950a81498SJens Wiklander 	size_t aad_len = TEE_FS_HTREE_FEK_SIZE + TEE_FS_HTREE_IV_SIZE;
45050a81498SJens Wiklander 	uint8_t *iv;
45150a81498SJens Wiklander 
45250a81498SJens Wiklander 	if (ni) {
45350a81498SJens Wiklander 		iv = ni->iv;
45450a81498SJens Wiklander 	} else {
45550a81498SJens Wiklander 		iv = ht->head.iv;
45650a81498SJens Wiklander 		aad_len += TEE_FS_HTREE_HASH_SIZE + sizeof(ht->head.counter);
45750a81498SJens Wiklander 	}
45850a81498SJens Wiklander 
45950a81498SJens Wiklander 	if (mode == TEE_MODE_ENCRYPT) {
46036a063efSJens Wiklander 		res = crypto_rng_read(iv, TEE_FS_HTREE_IV_SIZE);
46150a81498SJens Wiklander 		if (res != TEE_SUCCESS)
46250a81498SJens Wiklander 			return res;
46350a81498SJens Wiklander 	}
46450a81498SJens Wiklander 
465d7ac7d0fSJens Wiklander 	res = crypto_authenc_alloc_ctx(&ctx, alg);
46650a81498SJens Wiklander 	if (res != TEE_SUCCESS)
46750a81498SJens Wiklander 		return res;
46850a81498SJens Wiklander 
46952ee414bSJens Wiklander 	res = crypto_authenc_init(ctx, mode, ht->fek, TEE_FS_HTREE_FEK_SIZE, iv,
4708875ce46SJens Wiklander 				  TEE_FS_HTREE_IV_SIZE, TEE_FS_HTREE_TAG_SIZE,
4718875ce46SJens Wiklander 				  aad_len, payload_len);
47250a81498SJens Wiklander 	if (res != TEE_SUCCESS)
473112261f7SJerome Forissier 		goto err_free;
47450a81498SJens Wiklander 
47550a81498SJens Wiklander 	if (!ni) {
47652ee414bSJens Wiklander 		res = crypto_authenc_update_aad(ctx, mode, ht->root.node.hash,
47750a81498SJens Wiklander 						TEE_FS_HTREE_FEK_SIZE);
47850a81498SJens Wiklander 		if (res != TEE_SUCCESS)
479112261f7SJerome Forissier 			goto err;
48050a81498SJens Wiklander 
48152ee414bSJens Wiklander 		res = crypto_authenc_update_aad(ctx, mode,
48250a81498SJens Wiklander 						(void *)&ht->head.counter,
48350a81498SJens Wiklander 						sizeof(ht->head.counter));
48450a81498SJens Wiklander 		if (res != TEE_SUCCESS)
485112261f7SJerome Forissier 			goto err;
48650a81498SJens Wiklander 	}
48750a81498SJens Wiklander 
48852ee414bSJens Wiklander 	res = crypto_authenc_update_aad(ctx, mode, ht->head.enc_fek,
48950a81498SJens Wiklander 					TEE_FS_HTREE_FEK_SIZE);
49050a81498SJens Wiklander 	if (res != TEE_SUCCESS)
491112261f7SJerome Forissier 		goto err;
49250a81498SJens Wiklander 
49352ee414bSJens Wiklander 	res = crypto_authenc_update_aad(ctx, mode, iv, TEE_FS_HTREE_IV_SIZE);
494112261f7SJerome Forissier 	if (res != TEE_SUCCESS)
495112261f7SJerome Forissier 		goto err;
49650a81498SJens Wiklander 
49750a81498SJens Wiklander 	*ctx_ret = ctx;
49850a81498SJens Wiklander 
499112261f7SJerome Forissier 	return TEE_SUCCESS;
500112261f7SJerome Forissier err:
50152ee414bSJens Wiklander 	crypto_authenc_final(ctx);
502112261f7SJerome Forissier err_free:
50352ee414bSJens Wiklander 	crypto_authenc_free_ctx(ctx);
50450a81498SJens Wiklander 	return res;
50550a81498SJens Wiklander }
50650a81498SJens Wiklander 
50750a81498SJens Wiklander static TEE_Result authenc_decrypt_final(void *ctx, const uint8_t *tag,
50850a81498SJens Wiklander 					const void *crypt, size_t len,
50950a81498SJens Wiklander 					void *plain)
51050a81498SJens Wiklander {
51150a81498SJens Wiklander 	TEE_Result res;
51250a81498SJens Wiklander 	size_t out_size = len;
51350a81498SJens Wiklander 
51452ee414bSJens Wiklander 	res = crypto_authenc_dec_final(ctx, crypt, len, plain, &out_size, tag,
5158875ce46SJens Wiklander 				       TEE_FS_HTREE_TAG_SIZE);
51652ee414bSJens Wiklander 	crypto_authenc_final(ctx);
51752ee414bSJens Wiklander 	crypto_authenc_free_ctx(ctx);
51850a81498SJens Wiklander 
51950a81498SJens Wiklander 	if (res == TEE_SUCCESS && out_size != len)
52050a81498SJens Wiklander 		return TEE_ERROR_GENERIC;
52150a81498SJens Wiklander 	if (res == TEE_ERROR_MAC_INVALID)
52250a81498SJens Wiklander 		return TEE_ERROR_CORRUPT_OBJECT;
52350a81498SJens Wiklander 
52450a81498SJens Wiklander 	return res;
52550a81498SJens Wiklander }
52650a81498SJens Wiklander 
52750a81498SJens Wiklander static TEE_Result authenc_encrypt_final(void *ctx, uint8_t *tag,
52850a81498SJens Wiklander 					const void *plain, size_t len,
52950a81498SJens Wiklander 					void *crypt)
53050a81498SJens Wiklander {
53150a81498SJens Wiklander 	TEE_Result res;
53250a81498SJens Wiklander 	size_t out_size = len;
53350a81498SJens Wiklander 	size_t out_tag_size = TEE_FS_HTREE_TAG_SIZE;
53450a81498SJens Wiklander 
53552ee414bSJens Wiklander 	res = crypto_authenc_enc_final(ctx, plain, len, crypt, &out_size, tag,
5368875ce46SJens Wiklander 				       &out_tag_size);
53752ee414bSJens Wiklander 	crypto_authenc_final(ctx);
53852ee414bSJens Wiklander 	crypto_authenc_free_ctx(ctx);
53950a81498SJens Wiklander 
54050a81498SJens Wiklander 	if (res == TEE_SUCCESS &&
54150a81498SJens Wiklander 	    (out_size != len || out_tag_size != TEE_FS_HTREE_TAG_SIZE))
54250a81498SJens Wiklander 		return TEE_ERROR_GENERIC;
54350a81498SJens Wiklander 
54450a81498SJens Wiklander 	return res;
54550a81498SJens Wiklander }
54650a81498SJens Wiklander 
54750a81498SJens Wiklander static TEE_Result verify_root(struct tee_fs_htree *ht)
54850a81498SJens Wiklander {
54950a81498SJens Wiklander 	TEE_Result res;
55050a81498SJens Wiklander 	void *ctx;
55150a81498SJens Wiklander 
5520c4e1284SJens Wiklander 	res = tee_fs_fek_crypt(ht->uuid, TEE_MODE_DECRYPT, ht->head.enc_fek,
55350a81498SJens Wiklander 			       sizeof(ht->fek), ht->fek);
55450a81498SJens Wiklander 	if (res != TEE_SUCCESS)
55550a81498SJens Wiklander 		return res;
55650a81498SJens Wiklander 
55750a81498SJens Wiklander 	res = authenc_init(&ctx, TEE_MODE_DECRYPT, ht, NULL, sizeof(ht->imeta));
55850a81498SJens Wiklander 	if (res != TEE_SUCCESS)
55950a81498SJens Wiklander 		return res;
56050a81498SJens Wiklander 
56150a81498SJens Wiklander 	return authenc_decrypt_final(ctx, ht->head.tag, ht->head.imeta,
56250a81498SJens Wiklander 				     sizeof(ht->imeta), &ht->imeta);
56350a81498SJens Wiklander }
56450a81498SJens Wiklander 
56550a81498SJens Wiklander static TEE_Result verify_node(struct traverse_arg *targ,
56650a81498SJens Wiklander 			      struct htree_node *node)
56750a81498SJens Wiklander {
56850a81498SJens Wiklander 	void *ctx = targ->arg;
56950a81498SJens Wiklander 	TEE_Result res;
57050a81498SJens Wiklander 	uint8_t digest[TEE_FS_HTREE_HASH_SIZE];
57150a81498SJens Wiklander 
57294a72998SJens Wiklander 	if (node->parent)
57394a72998SJens Wiklander 		res = calc_node_hash(node, NULL, ctx, digest);
57494a72998SJens Wiklander 	else
57594a72998SJens Wiklander 		res = calc_node_hash(node, &targ->ht->imeta.meta, ctx, digest);
57650a81498SJens Wiklander 	if (res == TEE_SUCCESS &&
57748e10604SJerome Forissier 	    consttime_memcmp(digest, node->node.hash, sizeof(digest)))
57850a81498SJens Wiklander 		return TEE_ERROR_CORRUPT_OBJECT;
57950a81498SJens Wiklander 
58050a81498SJens Wiklander 	return res;
58150a81498SJens Wiklander }
58250a81498SJens Wiklander 
58350a81498SJens Wiklander static TEE_Result verify_tree(struct tee_fs_htree *ht)
58450a81498SJens Wiklander {
58550a81498SJens Wiklander 	TEE_Result res;
58650a81498SJens Wiklander 	void *ctx;
58750a81498SJens Wiklander 
588ecf2e014SJens Wiklander 	res = crypto_hash_alloc_ctx(&ctx, TEE_FS_HTREE_HASH_ALG);
58950a81498SJens Wiklander 	if (res != TEE_SUCCESS)
59050a81498SJens Wiklander 		return res;
59150a81498SJens Wiklander 
59250a81498SJens Wiklander 	res = htree_traverse_post_order(ht, verify_node, ctx);
5936b3a371cSJens Wiklander 	crypto_hash_free_ctx(ctx);
59450a81498SJens Wiklander 
59550a81498SJens Wiklander 	return res;
59650a81498SJens Wiklander }
59750a81498SJens Wiklander 
59850a81498SJens Wiklander static TEE_Result init_root_node(struct tee_fs_htree *ht)
59950a81498SJens Wiklander {
60050a81498SJens Wiklander 	TEE_Result res;
60150a81498SJens Wiklander 	void *ctx;
60250a81498SJens Wiklander 
603ecf2e014SJens Wiklander 	res = crypto_hash_alloc_ctx(&ctx, TEE_FS_HTREE_HASH_ALG);
60450a81498SJens Wiklander 	if (res != TEE_SUCCESS)
60550a81498SJens Wiklander 		return res;
60650a81498SJens Wiklander 
60750a81498SJens Wiklander 	ht->root.id = 1;
60809eedd2dSJens Wiklander 	ht->root.dirty = true;
60950a81498SJens Wiklander 
61094a72998SJens Wiklander 	res = calc_node_hash(&ht->root, &ht->imeta.meta, ctx,
61194a72998SJens Wiklander 			     ht->root.node.hash);
6126b3a371cSJens Wiklander 	crypto_hash_free_ctx(ctx);
61350a81498SJens Wiklander 
61450a81498SJens Wiklander 	return res;
61550a81498SJens Wiklander }
61650a81498SJens Wiklander 
617*623b9bd4SJens Wiklander TEE_Result tee_fs_htree_open(bool create, uint8_t *hash, uint32_t min_counter,
618*623b9bd4SJens Wiklander 			     const TEE_UUID *uuid,
61950a81498SJens Wiklander 			     const struct tee_fs_htree_storage *stor,
62050a81498SJens Wiklander 			     void *stor_aux, struct tee_fs_htree **ht_ret)
62150a81498SJens Wiklander {
62250a81498SJens Wiklander 	TEE_Result res;
62350a81498SJens Wiklander 	struct tee_fs_htree *ht = calloc(1, sizeof(*ht));
62450a81498SJens Wiklander 
62550a81498SJens Wiklander 	if (!ht)
62650a81498SJens Wiklander 		return TEE_ERROR_OUT_OF_MEMORY;
62750a81498SJens Wiklander 
6280c4e1284SJens Wiklander 	ht->uuid = uuid;
62950a81498SJens Wiklander 	ht->stor = stor;
63050a81498SJens Wiklander 	ht->stor_aux = stor_aux;
63150a81498SJens Wiklander 
63250a81498SJens Wiklander 	if (create) {
633*623b9bd4SJens Wiklander 		const struct tee_fs_htree_image dummy_head = {
634*623b9bd4SJens Wiklander 			.counter = min_counter,
635*623b9bd4SJens Wiklander 		};
636e2adafecSJens Wiklander 
63736a063efSJens Wiklander 		res = crypto_rng_read(ht->fek, sizeof(ht->fek));
63850a81498SJens Wiklander 		if (res != TEE_SUCCESS)
63950a81498SJens Wiklander 			goto out;
64050a81498SJens Wiklander 
6410c4e1284SJens Wiklander 		res = tee_fs_fek_crypt(ht->uuid, TEE_MODE_ENCRYPT, ht->fek,
64250a81498SJens Wiklander 				       sizeof(ht->fek), ht->head.enc_fek);
64350a81498SJens Wiklander 		if (res != TEE_SUCCESS)
64450a81498SJens Wiklander 			goto out;
64550a81498SJens Wiklander 
64650a81498SJens Wiklander 		res = init_root_node(ht);
64750a81498SJens Wiklander 		if (res != TEE_SUCCESS)
64850a81498SJens Wiklander 			goto out;
64950a81498SJens Wiklander 
65050a81498SJens Wiklander 		ht->dirty = true;
651*623b9bd4SJens Wiklander 		res = tee_fs_htree_sync_to_storage(&ht, hash, NULL);
652e2adafecSJens Wiklander 		if (res != TEE_SUCCESS)
653e2adafecSJens Wiklander 			goto out;
654e2adafecSJens Wiklander 		res = rpc_write_head(ht, 0, &dummy_head);
65550a81498SJens Wiklander 	} else {
656*623b9bd4SJens Wiklander 		res = init_head_from_data(ht, hash, min_counter);
65750a81498SJens Wiklander 		if (res != TEE_SUCCESS)
65850a81498SJens Wiklander 			goto out;
65950a81498SJens Wiklander 
66050a81498SJens Wiklander 		res = verify_root(ht);
66150a81498SJens Wiklander 		if (res != TEE_SUCCESS)
66250a81498SJens Wiklander 			goto out;
66350a81498SJens Wiklander 
66450a81498SJens Wiklander 		res = init_tree_from_data(ht);
66550a81498SJens Wiklander 		if (res != TEE_SUCCESS)
66650a81498SJens Wiklander 			goto out;
66750a81498SJens Wiklander 
66850a81498SJens Wiklander 		res = verify_tree(ht);
66950a81498SJens Wiklander 	}
67050a81498SJens Wiklander out:
67150a81498SJens Wiklander 	if (res == TEE_SUCCESS)
67250a81498SJens Wiklander 		*ht_ret = ht;
67350a81498SJens Wiklander 	else
67450a81498SJens Wiklander 		tee_fs_htree_close(&ht);
67550a81498SJens Wiklander 	return res;
67650a81498SJens Wiklander }
67750a81498SJens Wiklander 
67850a81498SJens Wiklander struct tee_fs_htree_meta *tee_fs_htree_get_meta(struct tee_fs_htree *ht)
67950a81498SJens Wiklander {
68050a81498SJens Wiklander 	return &ht->imeta.meta;
68150a81498SJens Wiklander }
68250a81498SJens Wiklander 
68333e4def6SJerome Forissier void tee_fs_htree_meta_set_dirty(struct tee_fs_htree *ht)
68433e4def6SJerome Forissier {
68533e4def6SJerome Forissier 	ht->dirty = true;
68694a72998SJens Wiklander 	ht->root.dirty = true;
68733e4def6SJerome Forissier }
68833e4def6SJerome Forissier 
68950a81498SJens Wiklander static TEE_Result free_node(struct traverse_arg *targ __unused,
69050a81498SJens Wiklander 			    struct htree_node *node)
69150a81498SJens Wiklander {
69250a81498SJens Wiklander 	if (node->parent)
69350a81498SJens Wiklander 		free(node);
69450a81498SJens Wiklander 	return TEE_SUCCESS;
69550a81498SJens Wiklander }
69650a81498SJens Wiklander 
69750a81498SJens Wiklander void tee_fs_htree_close(struct tee_fs_htree **ht)
69850a81498SJens Wiklander {
69950a81498SJens Wiklander 	if (!*ht)
70050a81498SJens Wiklander 		return;
70150a81498SJens Wiklander 	htree_traverse_post_order(*ht, free_node, NULL);
70250a81498SJens Wiklander 	free(*ht);
70350a81498SJens Wiklander 	*ht = NULL;
70450a81498SJens Wiklander }
70550a81498SJens Wiklander 
70650a81498SJens Wiklander static TEE_Result htree_sync_node_to_storage(struct traverse_arg *targ,
70750a81498SJens Wiklander 					     struct htree_node *node)
70850a81498SJens Wiklander {
70950a81498SJens Wiklander 	TEE_Result res;
71050a81498SJens Wiklander 	uint8_t vers;
71194a72998SJens Wiklander 	struct tee_fs_htree_meta *meta = NULL;
71250a81498SJens Wiklander 
713e2adafecSJens Wiklander 	/*
714e2adafecSJens Wiklander 	 * The node can be dirty while the block isn't updated due to
715e2adafecSJens Wiklander 	 * updated children, but if block is updated the node has to be
716e2adafecSJens Wiklander 	 * dirty.
717e2adafecSJens Wiklander 	 */
718e2adafecSJens Wiklander 	assert(node->dirty >= node->block_updated);
719e2adafecSJens Wiklander 
72050a81498SJens Wiklander 	if (!node->dirty)
72150a81498SJens Wiklander 		return TEE_SUCCESS;
72250a81498SJens Wiklander 
72350a81498SJens Wiklander 	if (node->parent) {
72450a81498SJens Wiklander 		uint32_t f = HTREE_NODE_COMMITTED_CHILD(node->id & 1);
72550a81498SJens Wiklander 
72650a81498SJens Wiklander 		node->parent->dirty = true;
72750a81498SJens Wiklander 		node->parent->node.flags ^= f;
72850a81498SJens Wiklander 		vers = !!(node->parent->node.flags & f);
72950a81498SJens Wiklander 	} else {
73050a81498SJens Wiklander 		/*
73150a81498SJens Wiklander 		 * Counter isn't updated yet, it's increased just before
73250a81498SJens Wiklander 		 * writing the header.
73350a81498SJens Wiklander 		 */
73450a81498SJens Wiklander 		vers = !(targ->ht->head.counter & 1);
73594a72998SJens Wiklander 		meta = &targ->ht->imeta.meta;
73650a81498SJens Wiklander 	}
73750a81498SJens Wiklander 
73894a72998SJens Wiklander 	res = calc_node_hash(node, meta, targ->arg, node->node.hash);
73950a81498SJens Wiklander 	if (res != TEE_SUCCESS)
74050a81498SJens Wiklander 		return res;
74150a81498SJens Wiklander 
74250a81498SJens Wiklander 	node->dirty = false;
743e2adafecSJens Wiklander 	node->block_updated = false;
74450a81498SJens Wiklander 
74550a81498SJens Wiklander 	return rpc_write_node(targ->ht, node->id, vers, &node->node);
74650a81498SJens Wiklander }
74750a81498SJens Wiklander 
74850a81498SJens Wiklander static TEE_Result update_root(struct tee_fs_htree *ht)
74950a81498SJens Wiklander {
75050a81498SJens Wiklander 	TEE_Result res;
75150a81498SJens Wiklander 	void *ctx;
75250a81498SJens Wiklander 
75350a81498SJens Wiklander 	ht->head.counter++;
75450a81498SJens Wiklander 
75550a81498SJens Wiklander 	res = authenc_init(&ctx, TEE_MODE_ENCRYPT, ht, NULL, sizeof(ht->imeta));
75650a81498SJens Wiklander 	if (res != TEE_SUCCESS)
75750a81498SJens Wiklander 		return res;
75850a81498SJens Wiklander 
75950a81498SJens Wiklander 	return authenc_encrypt_final(ctx, ht->head.tag, &ht->imeta,
76050a81498SJens Wiklander 				     sizeof(ht->imeta), &ht->head.imeta);
76150a81498SJens Wiklander }
76250a81498SJens Wiklander 
763f28e5060SJens Wiklander TEE_Result tee_fs_htree_sync_to_storage(struct tee_fs_htree **ht_arg,
764*623b9bd4SJens Wiklander 					uint8_t *hash, uint32_t *counter)
76550a81498SJens Wiklander {
76650a81498SJens Wiklander 	TEE_Result res;
76750a81498SJens Wiklander 	struct tee_fs_htree *ht = *ht_arg;
76850a81498SJens Wiklander 	void *ctx;
76950a81498SJens Wiklander 
77050a81498SJens Wiklander 	if (!ht)
77150a81498SJens Wiklander 		return TEE_ERROR_CORRUPT_OBJECT;
77250a81498SJens Wiklander 
773a48d0254SJens Wiklander 	if (!ht->dirty)
774a48d0254SJens Wiklander 		return TEE_SUCCESS;
775a48d0254SJens Wiklander 
776ecf2e014SJens Wiklander 	res = crypto_hash_alloc_ctx(&ctx, TEE_FS_HTREE_HASH_ALG);
77750a81498SJens Wiklander 	if (res != TEE_SUCCESS)
77850a81498SJens Wiklander 		return res;
77950a81498SJens Wiklander 
78050a81498SJens Wiklander 	res = htree_traverse_post_order(ht, htree_sync_node_to_storage, ctx);
78150a81498SJens Wiklander 	if (res != TEE_SUCCESS)
78250a81498SJens Wiklander 		goto out;
78350a81498SJens Wiklander 
78450a81498SJens Wiklander 	/* All the nodes are written to storage now. Time to update root. */
78550a81498SJens Wiklander 	res = update_root(ht);
78650a81498SJens Wiklander 	if (res != TEE_SUCCESS)
78750a81498SJens Wiklander 		goto out;
78850a81498SJens Wiklander 
78950a81498SJens Wiklander 	res = rpc_write_head(ht, ht->head.counter & 1, &ht->head);
79050a81498SJens Wiklander 	if (res != TEE_SUCCESS)
79150a81498SJens Wiklander 		goto out;
79250a81498SJens Wiklander 
79350a81498SJens Wiklander 	ht->dirty = false;
794f28e5060SJens Wiklander 	if (hash)
795f28e5060SJens Wiklander 		memcpy(hash, ht->root.node.hash, sizeof(ht->root.node.hash));
796*623b9bd4SJens Wiklander 	if (counter)
797*623b9bd4SJens Wiklander 		*counter = ht->head.counter;
79850a81498SJens Wiklander out:
7996b3a371cSJens Wiklander 	crypto_hash_free_ctx(ctx);
80050a81498SJens Wiklander 	if (res != TEE_SUCCESS)
80150a81498SJens Wiklander 		tee_fs_htree_close(ht_arg);
80250a81498SJens Wiklander 	return res;
80350a81498SJens Wiklander }
80450a81498SJens Wiklander 
80550a81498SJens Wiklander static TEE_Result get_block_node(struct tee_fs_htree *ht, bool create,
806e2adafecSJens Wiklander 				 size_t block_num, struct htree_node **node)
80750a81498SJens Wiklander {
80850a81498SJens Wiklander 	TEE_Result res;
80950a81498SJens Wiklander 	struct htree_node *nd;
81050a81498SJens Wiklander 
81150a81498SJens Wiklander 	res = get_node(ht, create, BLOCK_NUM_TO_NODE_ID(block_num), &nd);
812e2adafecSJens Wiklander 	if (res == TEE_SUCCESS)
81350a81498SJens Wiklander 		*node = nd;
81450a81498SJens Wiklander 
81550a81498SJens Wiklander 	return res;
81650a81498SJens Wiklander }
81750a81498SJens Wiklander 
81850a81498SJens Wiklander TEE_Result tee_fs_htree_write_block(struct tee_fs_htree **ht_arg,
81950a81498SJens Wiklander 				    size_t block_num, const void *block)
82050a81498SJens Wiklander {
82150a81498SJens Wiklander 	struct tee_fs_htree *ht = *ht_arg;
82250a81498SJens Wiklander 	TEE_Result res;
82350a81498SJens Wiklander 	struct tee_fs_rpc_operation op;
82450a81498SJens Wiklander 	struct htree_node *node = NULL;
82550a81498SJens Wiklander 	uint8_t block_vers;
82650a81498SJens Wiklander 	void *ctx;
82750a81498SJens Wiklander 	void *enc_block;
82850a81498SJens Wiklander 
82950a81498SJens Wiklander 	if (!ht)
83050a81498SJens Wiklander 		return TEE_ERROR_CORRUPT_OBJECT;
83150a81498SJens Wiklander 
832e2adafecSJens Wiklander 	res = get_block_node(ht, true, block_num, &node);
83350a81498SJens Wiklander 	if (res != TEE_SUCCESS)
83450a81498SJens Wiklander 		goto out;
83550a81498SJens Wiklander 
836e2adafecSJens Wiklander 	if (!node->block_updated)
837e2adafecSJens Wiklander 		node->node.flags ^= HTREE_NODE_COMMITTED_BLOCK;
838e2adafecSJens Wiklander 
839e2adafecSJens Wiklander 	block_vers = !!(node->node.flags & HTREE_NODE_COMMITTED_BLOCK);
84050a81498SJens Wiklander 	res = ht->stor->rpc_write_init(ht->stor_aux, &op,
84150a81498SJens Wiklander 				       TEE_FS_HTREE_TYPE_BLOCK, block_num,
84250a81498SJens Wiklander 				       block_vers, &enc_block);
84350a81498SJens Wiklander 	if (res != TEE_SUCCESS)
84450a81498SJens Wiklander 		goto out;
84550a81498SJens Wiklander 
84650a81498SJens Wiklander 	res = authenc_init(&ctx, TEE_MODE_ENCRYPT, ht, &node->node,
84750a81498SJens Wiklander 			   ht->stor->block_size);
84850a81498SJens Wiklander 	if (res != TEE_SUCCESS)
84950a81498SJens Wiklander 		goto out;
85050a81498SJens Wiklander 	res = authenc_encrypt_final(ctx, node->node.tag, block,
85150a81498SJens Wiklander 				    ht->stor->block_size, enc_block);
85250a81498SJens Wiklander 	if (res != TEE_SUCCESS)
85350a81498SJens Wiklander 		goto out;
85450a81498SJens Wiklander 
85564fa6c0aSJens Wiklander 	res = ht->stor->rpc_write_final(&op);
85650a81498SJens Wiklander 	if (res != TEE_SUCCESS)
85750a81498SJens Wiklander 		goto out;
85850a81498SJens Wiklander 
859e2adafecSJens Wiklander 	node->block_updated = true;
86050a81498SJens Wiklander 	node->dirty = true;
86150a81498SJens Wiklander 	ht->dirty = true;
86250a81498SJens Wiklander out:
86350a81498SJens Wiklander 	if (res != TEE_SUCCESS)
86450a81498SJens Wiklander 		tee_fs_htree_close(ht_arg);
86550a81498SJens Wiklander 	return res;
86650a81498SJens Wiklander }
86750a81498SJens Wiklander 
86850a81498SJens Wiklander TEE_Result tee_fs_htree_read_block(struct tee_fs_htree **ht_arg,
86950a81498SJens Wiklander 				   size_t block_num, void *block)
87050a81498SJens Wiklander {
87150a81498SJens Wiklander 	struct tee_fs_htree *ht = *ht_arg;
87250a81498SJens Wiklander 	TEE_Result res;
87350a81498SJens Wiklander 	struct tee_fs_rpc_operation op;
87450a81498SJens Wiklander 	struct htree_node *node;
87550a81498SJens Wiklander 	uint8_t block_vers;
87650a81498SJens Wiklander 	size_t len;
87750a81498SJens Wiklander 	void *ctx;
87850a81498SJens Wiklander 	void *enc_block;
87950a81498SJens Wiklander 
88050a81498SJens Wiklander 	if (!ht)
88150a81498SJens Wiklander 		return TEE_ERROR_CORRUPT_OBJECT;
88250a81498SJens Wiklander 
883e2adafecSJens Wiklander 	res = get_block_node(ht, false, block_num, &node);
88450a81498SJens Wiklander 	if (res != TEE_SUCCESS)
88550a81498SJens Wiklander 		goto out;
88650a81498SJens Wiklander 
887e2adafecSJens Wiklander 	block_vers = !!(node->node.flags & HTREE_NODE_COMMITTED_BLOCK);
88850a81498SJens Wiklander 	res = ht->stor->rpc_read_init(ht->stor_aux, &op,
88950a81498SJens Wiklander 				      TEE_FS_HTREE_TYPE_BLOCK, block_num,
89050a81498SJens Wiklander 				      block_vers, &enc_block);
89150a81498SJens Wiklander 	if (res != TEE_SUCCESS)
89250a81498SJens Wiklander 		goto out;
89350a81498SJens Wiklander 
89464fa6c0aSJens Wiklander 	res = ht->stor->rpc_read_final(&op, &len);
89550a81498SJens Wiklander 	if (res != TEE_SUCCESS)
89650a81498SJens Wiklander 		goto out;
89750a81498SJens Wiklander 	if (len != ht->stor->block_size) {
89850a81498SJens Wiklander 		res = TEE_ERROR_CORRUPT_OBJECT;
89950a81498SJens Wiklander 		goto out;
90050a81498SJens Wiklander 	}
90150a81498SJens Wiklander 
90250a81498SJens Wiklander 	res = authenc_init(&ctx, TEE_MODE_DECRYPT, ht, &node->node,
90350a81498SJens Wiklander 			   ht->stor->block_size);
90450a81498SJens Wiklander 	if (res != TEE_SUCCESS)
90550a81498SJens Wiklander 		goto out;
90650a81498SJens Wiklander 
90750a81498SJens Wiklander 	res = authenc_decrypt_final(ctx, node->node.tag, enc_block,
90850a81498SJens Wiklander 				    ht->stor->block_size, block);
90950a81498SJens Wiklander out:
91050a81498SJens Wiklander 	if (res != TEE_SUCCESS)
91150a81498SJens Wiklander 		tee_fs_htree_close(ht_arg);
91250a81498SJens Wiklander 	return res;
91350a81498SJens Wiklander }
91450a81498SJens Wiklander 
91550a81498SJens Wiklander TEE_Result tee_fs_htree_truncate(struct tee_fs_htree **ht_arg, size_t block_num)
91650a81498SJens Wiklander {
91750a81498SJens Wiklander 	struct tee_fs_htree *ht = *ht_arg;
91850a81498SJens Wiklander 	size_t node_id = BLOCK_NUM_TO_NODE_ID(block_num);
91950a81498SJens Wiklander 	struct htree_node *node;
92050a81498SJens Wiklander 
92150a81498SJens Wiklander 	if (!ht)
92250a81498SJens Wiklander 		return TEE_ERROR_CORRUPT_OBJECT;
92350a81498SJens Wiklander 
92450a81498SJens Wiklander 	while (node_id < ht->imeta.max_node_id) {
92550a81498SJens Wiklander 		node = find_closest_node(ht, ht->imeta.max_node_id);
92650a81498SJens Wiklander 		assert(node && node->id == ht->imeta.max_node_id);
92750a81498SJens Wiklander 		assert(!node->child[0] && !node->child[1]);
92850a81498SJens Wiklander 		assert(node->parent);
92950a81498SJens Wiklander 		assert(node->parent->child[node->id & 1] == node);
93050a81498SJens Wiklander 		node->parent->child[node->id & 1] = NULL;
93150a81498SJens Wiklander 		free(node);
93250a81498SJens Wiklander 		ht->imeta.max_node_id--;
93350a81498SJens Wiklander 		ht->dirty = true;
93450a81498SJens Wiklander 	}
93550a81498SJens Wiklander 
93650a81498SJens Wiklander 	return TEE_SUCCESS;
93750a81498SJens Wiklander }
938