Random Number Generator
[include/linux/random.h]