Update workqueue.h