rand32.h File Reference

#include <inttypes.h>

Functions
uint32_t	pbl_rand32 (void)
	Get a 32-bit random number.