#ifndef	_SYS_CPRNG_FAST_H_
#define	_SYS_CPRNG_FAST_H_

size_t		cprng_fast(void *, size_t);
uint32_t	cprng_fast32(void);
uint64_t	cprng_fast64(void);
void		cprng_fast_init(void);

#endif	/* _SYS_CPRNG_FAST_H_ */