13 lines
246 B
C
13 lines
246 B
C
/*
|
|
* 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);
|