1 /*
2  * random.h - header for random.c
3  *
4  * Copyright (c) 2009-2019, Arm Limited.
5  * SPDX-License-Identifier: MIT OR Apache-2.0 WITH LLVM-exception
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);
13