push_to_pool 553 drivers/char/random.c static void push_to_pool(struct work_struct *work); push_to_pool 571 drivers/char/random.c push_to_pool), push_to_pool 88 include/trace/events/random.h TRACE_EVENT(push_to_pool,