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