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