schedule_work     550 include/linux/workqueue.h static inline bool schedule_work(struct work_struct *work)
schedule_work      49 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/workqueues.h static inline bool schedule_work(struct work_struct *work)