[PATCH] workqueue: avoid false negative WARN_ON() indestroy_workqueue()

From: Tejun Heo
Date: Thu Apr 04 2013 - 10:55:32 EST