xref: /optee_os/core/include/rng_support.h (revision 4a3e6b90d93a4fac9e5261a976b278c97fb3d6e3)
11bb92983SJerome Forissier /* SPDX-License-Identifier: BSD-2-Clause */
2b0104773SPascal Brand /*
3b0104773SPascal Brand  * Copyright (c) 2014, STMicroelectronics International N.V.
4b0104773SPascal Brand  */
5b0104773SPascal Brand #ifndef __RNG_SUPPORT_H__
6b0104773SPascal Brand #define __RNG_SUPPORT_H__
7b0104773SPascal Brand 
8b0104773SPascal Brand #include <stdint.h>
9b0104773SPascal Brand 
10*391a3854SAndrew Davis TEE_Result hw_get_random_bytes(void *buf, size_t blen);
11b0104773SPascal Brand 
12b0104773SPascal Brand #endif /* __RNG_SUPPORT_H__ */
13