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 tc_hmac_prng_init() is called
11  *
12  *  Expected behaviour:
13  *   - tc_hmac_prng_init() to be called once with correct parameters
14  */
15 void expect_single_call_tc_hmac_prng_init(TCHmacPrng_t prng, unsigned int plen);
16 
17 /*
18  *  Validate expected behaviour when tc_hmac_prng_reseed() is called
19  *
20  *  Expected behaviour:
21  *   - tc_hmac_prng_reseed() to be called once with correct parameters
22  */
23 void expect_single_call_tc_hmac_prng_reseed(TCHmacPrng_t prng, unsigned int seedlen,
24 					    unsigned int additionallen);
25 
26 /*
27  *  Validate expected behaviour when tc_hmac_prng_generate() is called
28  *
29  *  Expected behaviour:
30  *   - tc_hmac_prng_generate() to be called once with correct parameters
31  */
32 void expect_call_count_tc_hmac_prng_generate(int call_count, uint8_t *out, unsigned int outlen,
33 					      TCHmacPrng_t prng);
34