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