| George Lander | da55ef9 | 2015-11-19 12:05:06 +0000 | [diff] [blame] | 1 | /* |
| Szabolcs Nagy | 1b94597 | 2018-05-14 14:46:40 +0100 | [diff] [blame] | 2 | * random.h - header for random.c |
| George Lander | da55ef9 | 2015-11-19 12:05:06 +0000 | [diff] [blame] | 3 | * |
| Szabolcs Nagy | 11253b0 | 2018-11-12 11:10:57 +0000 | [diff] [blame] | 4 | * Copyright (c) 2009-2018, Arm Limited. |
| 5 | * SPDX-License-Identifier: MIT |
| George Lander | da55ef9 | 2015-11-19 12:05:06 +0000 | [diff] [blame] | 6 | */ |
| 7 | |
| 8 | #include "types.h" |
| 9 | |
| 10 | uint32 random32(void); |
| 11 | uint32 random_upto(uint32 limit); |
| 12 | uint32 random_upto_biased(uint32 limit, int bias); |