| Igor Opaniuk | 7ddaa78 | 2018-05-25 15:14:05 +0300 | [diff] [blame] | 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 */ | ||||