--- xnu/xnu-10002.1.13/libkern/c++/OSSerialize.cpp
+++ xnu/xnu-11215.81.4/libkern/c++/OSSerialize.cpp
@@ -30,7 +30,7 @@
 #define IOKIT_ENABLE_SHARED_PTR
 
 #include <sys/cdefs.h>
-#include <vm/vm_kern.h>
+#include <vm/vm_kern_xnu.h>
 #include <os/hash.h>
 
 #include <libkern/c++/OSContainers.h>