destroy_worker   2008 kernel/workqueue.c 		destroy_worker(worker);
destroy_worker   3553 kernel/workqueue.c 		destroy_worker(worker);