push_work         534 drivers/char/random.c 	struct work_struct push_work;
push_work         570 drivers/char/random.c 	.push_work = __WORK_INITIALIZER(blocking_pool.push_work,
push_work         798 drivers/char/random.c 			schedule_work(&other->push_work);
push_work         812 drivers/char/random.c 		if (!work_pending(&other->push_work) &&
push_work         815 drivers/char/random.c 			schedule_work(&other->push_work);
push_work        1436 drivers/char/random.c 					      push_work);