/* | |
* Copyright (c) 2013-2014 Wind River Systems, Inc. | |
* | |
* SPDX-License-Identifier: Apache-2.0 | |
*/ | |
/** | |
* @file | |
* @brief Random number generator header file | |
* | |
* This header file declares prototypes for the kernel's random number generator | |
* APIs. | |
* | |
* Typically, a platform enables the hidden CUSTOM_RANDOM_GENERATOR or | |
* (for testing purposes only) enables the TEST_RANDOM_GENERATOR | |
* configuration option and provide its own driver that implements | |
* sys_rand32_get(). | |
*/ | |
#ifndef __INCrand32h | |
#define __INCrand32h | |
#include <zephyr/types.h> | |
#ifdef __cplusplus | |
extern "C" { | |
#endif | |
extern u32_t sys_rand32_get(void); | |
#ifdef __cplusplus | |
} | |
#endif | |
#endif /* __INCrand32h */ |