extract_buf      1561 drivers/char/random.c 		extract_buf(r, tmp);
extract_buf      1607 drivers/char/random.c 			extract_buf(r, tmp);
extract_buf      1651 drivers/char/random.c 		extract_buf(r, tmp);