taglinefilesource code
extract_entropy609drivers/char/random.cextract_entropy(&random_state, (char *) buf, nbytes, 0);
extract_entropy618drivers/char/random.creturn extract_entropy(&random_state, buf, nbytes, 1);
extract_entropy624drivers/char/random.creturn extract_entropy(&random_state, buf, nbytes, 1);