1
2
3
4
5
6
7
8
9
10
11
12
| /*
| * random.h - header for random.c
| *
| * Copyright (c) 2009-2018, Arm Limited.
| * SPDX-License-Identifier: MIT
| */
|
| #include "types.h"
|
| uint32 random32(void);
| uint32 random_upto(uint32 limit);
| uint32 random_upto_biased(uint32 limit, int bias);
|
|
