taglinefilesource code
extract_entropy642drivers/char/random.cextract_entropy(&random_state, (char *) buf, nbytes, 0);
extract_entropy675drivers/char/random.cn = extract_entropy(&random_state, buf, n, 1);
extract_entropy692drivers/char/random.creturn extract_entropy(&random_state, buf, nbytes, 1);