blob: b4b22df82a3d768bdb8227f6731b0bce5d6ce843 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
/*
* random.h - header for random.c
*
* Copyright (c) 2009-2019, 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);
|