taglinefilesource code
extract_entropy636drivers/char/random.cextract_entropy(&random_state, (char *) buf, nbytes, 0);
extract_entropy669drivers/char/random.cn = extract_entropy(&random_state, buf, n, 1);
extract_entropy686drivers/char/random.creturn extract_entropy(&random_state, buf, nbytes, 1);