USB: OHCI: add a name for the platform-private field
[cascardo/linux.git] / include / linux / pid_namespace.h
index 731e4ec..e277266 100644 (file)
@@ -4,6 +4,7 @@
 #include <linux/sched.h>
 #include <linux/bug.h>
 #include <linux/mm.h>
+#include <linux/workqueue.h>
 #include <linux/threads.h>
 #include <linux/nsproxy.h>
 #include <linux/kref.h>