1
2
3
4
5
6
7
8
9
10
11
12
13
| /* SPDX-License-Identifier: BSD-2-Clause */
| /*
| * Copyright (c) 2018, Linaro Limited
| */
|
| #ifndef SEED_RNG_TAF_H
| #define SEED_RNG_TAF_H
|
| #include <pta_system.h>
|
| TEE_Result seed_rng_pool(uint32_t param_types, TEE_Param params[4]);
|
| #endif /* SEED_RNG_TAF_H */
|
|
