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
10uint32 random32(void);
11uint32 random_upto(uint32 limit);
12uint32 random_upto_biased(uint32 limit, int bias);
13