last_pulled       537 drivers/char/random.c 	unsigned long last_pulled;
last_pulled      1935 drivers/char/random.c 	r->last_pulled = jiffies;