131914882SAlex Richardson /* 231914882SAlex Richardson * random.h - header for random.c 331914882SAlex Richardson * 431914882SAlex Richardson * Copyright (c) 2009-2019, Arm Limited. 5*072a4ba8SAndrew Turner * SPDX-License-Identifier: MIT OR Apache-2.0 WITH LLVM-exception 631914882SAlex Richardson */ 731914882SAlex Richardson 831914882SAlex Richardson #include "types.h" 931914882SAlex Richardson 1031914882SAlex Richardson uint32 random32(void); 1131914882SAlex Richardson uint32 random_upto(uint32 limit); 1231914882SAlex Richardson uint32 random_upto_biased(uint32 limit, int bias); 13