#include "reactos/ddk/iotypes.h" /* for PFILE_OBJECT */
#include "reactos/ddk/extypes.h" /* for FAST_MUTEX */
-#include "reactos/ddk/rtltypes.h" /* for RTL_SPLAY_LINKS */
+#include "reactos/ntos/rtltypes.h" /* for RTL_SPLAY_LINKS */
#include "ddk/fstypes.h"