| /* |
| * Copyright (c) 2022 Nordic Semiconductor ASA |
| * |
| * SPDX-License-Identifier: Apache-2.0 |
| */ |
| |
| #include <zephyr/kernel.h> |
| |
| /* |
| * Validate expected behaviour when tc_hmac_prng_init() is called |
| * |
| * Expected behaviour: |
| * - tc_hmac_prng_init() to be called once with correct parameters |
| */ |
| void expect_single_call_tc_hmac_prng_init(TCHmacPrng_t prng, unsigned int plen); |
| |
| /* |
| * Validate expected behaviour when tc_hmac_prng_reseed() is called |
| * |
| * Expected behaviour: |
| * - tc_hmac_prng_reseed() to be called once with correct parameters |
| */ |
| void expect_single_call_tc_hmac_prng_reseed(TCHmacPrng_t prng, unsigned int seedlen, |
| unsigned int additionallen); |
| |
| /* |
| * Validate expected behaviour when tc_hmac_prng_generate() is called |
| * |
| * Expected behaviour: |
| * - tc_hmac_prng_generate() to be called once with correct parameters |
| */ |
| void expect_call_count_tc_hmac_prng_generate(int call_count, uint8_t *out, unsigned int outlen, |
| TCHmacPrng_t prng); |