1 /*
2  * Copyright (c) 2022 Nordic Semiconductor ASA
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #include <zephyr/kernel.h>
8 
9 /*
10  *  Validate expected behaviour when psa_crypto_init() is called
11  *
12  *  Expected behaviour:
13  *   - psa_crypto_init() to be called once with correct parameters
14  */
15 void expect_single_call_tc_psa_crypto_init(void);
16 
17 /*
18  *  Validate expected behaviour when psa_generate_random() is called
19  *
20  *  Expected behaviour:
21  *   - psa_generate_random() to be called once with correct parameters
22  */
23 void expect_single_call_psa_generate_random(uint8_t *out, unsigned int outlen);
24