1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (c) 2014, STMicroelectronics International N.V.
4  */
5 #ifndef __RNG_SUPPORT_H__
6 #define __RNG_SUPPORT_H__
7 
8 #include <stdint.h>
9 
10 TEE_Result hw_get_random_bytes(void *buf, size_t blen);
11 
12 #endif /* __RNG_SUPPORT_H__ */
13