--- xnu/xnu-10002.1.13/iokit/Kernel/IOBufferMemoryDescriptor.cpp
+++ xnu/xnu-11215.1.10/iokit/Kernel/IOBufferMemoryDescriptor.cpp
@@ -37,6 +37,8 @@
 #include <IOKit/IOBufferMemoryDescriptor.h>
 #include <libkern/OSDebug.h>
 #include <mach/mach_vm.h>
+
+#include <vm/vm_kern_xnu.h>
 
 #include "IOKitKernelInternal.h"