__DELAYED_WORK_INITIALIZER 191 include/linux/workqueue.h #define __DELAYED_WORK_INITIALIZER(n, f, tflags) { \ __DELAYED_WORK_INITIALIZER 91 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/workqueues.h #define __DELAYED_WORK_INITIALIZER(n, f, tflags) { \