mirror of
https://github.com/0xFEEDC0DE64/arduino-esp32.git
synced 2025-10-27 04:01:47 +01:00
35 lines
1.0 KiB
C
35 lines
1.0 KiB
C
/*
|
|
* Random number generator
|
|
* Copyright (c) 2010-2011, Jouni Malinen <j@w1.fi>
|
|
*
|
|
* This program is free software; you can redistribute it and/or modify
|
|
* it under the terms of the GNU General Public License version 2 as
|
|
* published by the Free Software Foundation.
|
|
*
|
|
* Alternatively, this software may be distributed under the terms of BSD
|
|
* license.
|
|
*
|
|
* See README and COPYING for more details.
|
|
*/
|
|
|
|
#ifndef RANDOM_H
|
|
#define RANDOM_H
|
|
|
|
#define CONFIG_NO_RANDOM_POOL
|
|
|
|
#ifdef CONFIG_NO_RANDOM_POOL
|
|
#define random_init(e) do { } while (0)
|
|
#define random_deinit() do { } while (0)
|
|
#define random_add_randomness(b, l) do { } while (0)
|
|
#define random_get_bytes(b, l) os_get_random((b), (l))
|
|
#define random_pool_ready() 1
|
|
#define random_mark_pool_ready() do { } while (0)
|
|
#else /* CONFIG_NO_RANDOM_POOL */
|
|
void random_init(const char *entropy_file);
|
|
void random_deinit(void);
|
|
void random_add_randomness(const void *buf, size_t len);
|
|
int random_get_bytes(void *buf, size_t len);
|
|
#endif /* CONFIG_NO_RANDOM_POOL */
|
|
|
|
#endif /* RANDOM_H */
|