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