[PATCH UPDATED 6/6] workqueue: reimplement WQ_HIGHPRI using aseparate worker_pool

From: Tejun Heo
Date: Fri Jul 13 2012 - 23:56:54 EST