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