--- xnu/xnu-10002.1.13/iokit/Kernel/IOSharedDataQueue.cpp
+++ xnu/xnu-11215.41.3/iokit/Kernel/IOSharedDataQueue.cpp
@@ -34,6 +34,8 @@
 #include <IOKit/IOMemoryDescriptor.h>
 #include <libkern/c++/OSSharedPtr.h>
 
+#include <vm/vm_kern_xnu.h>
+
 #ifdef enqueue
 #undef enqueue
 #endif