1 /* SPDX-License-Identifier: BSD-3-Clause */
2 /*
3  * Copyright (c) 2018-2019, STMicroelectronics
4  */
5 
6 #ifndef __DRIVERS_STM32_RNG_H__
7 #define __DRIVERS_STM32_RNG_H__
8 
9 #include <stdint.h>
10 #include <stddef.h>
11 #include <tee_api_types.h>
12 #include <types_ext.h>
13 
14 /*
15  * Fill buffer with bytes from the STM32_RNG
16  * @out: Output buffer
17  * @size: Byte size of the output buffer
18  * Return a TEE_Result compliant sttus
19  */
20 TEE_Result stm32_rng_read(uint8_t *out, size_t size);
21 
22 #endif /*__DRIVERS_STM32_RNG_H__*/
23