2015-04-11 07:44:37 +08:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2013-2014 Wind River Systems, Inc.
|
|
|
|
*
|
2017-01-19 09:01:01 +08:00
|
|
|
* SPDX-License-Identifier: Apache-2.0
|
2015-04-11 07:44:37 +08:00
|
|
|
*/
|
|
|
|
|
2015-12-04 23:09:39 +08:00
|
|
|
/**
|
|
|
|
* @file
|
|
|
|
* @brief Random number generator header file
|
|
|
|
*
|
2015-10-21 00:42:33 +08:00
|
|
|
* This header file declares prototypes for the kernel's random number generator
|
|
|
|
* APIs.
|
|
|
|
*
|
2016-12-07 05:58:49 +08:00
|
|
|
* 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().
|
2015-10-21 00:42:33 +08:00
|
|
|
*/
|
2015-04-11 07:44:37 +08:00
|
|
|
|
|
|
|
#ifndef __INCrand32h
|
|
|
|
#define __INCrand32h
|
|
|
|
|
|
|
|
#include <stdint.h>
|
|
|
|
|
2016-01-23 01:38:49 +08:00
|
|
|
#ifdef __cplusplus
|
|
|
|
extern "C" {
|
|
|
|
#endif
|
|
|
|
|
2015-05-26 00:22:44 +08:00
|
|
|
extern uint32_t sys_rand32_get(void);
|
2015-04-11 07:44:37 +08:00
|
|
|
|
2016-01-23 01:38:49 +08:00
|
|
|
#ifdef __cplusplus
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
2015-04-11 07:44:37 +08:00
|
|
|
#endif /* __INCrand32h */
|