__WORK_INITIALIZER  184 include/linux/workqueue.h #define __WORK_INITIALIZER(n, f) {					\
__WORK_INITIALIZER   84 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/workqueues.h #define __WORK_INITIALIZER(n, f) { \