#include <ddk/iotypes.h>
#include <ddk/extypes.h>
#include <ddk/pstypes.h>
-#include <ddk/ldrtypes.h>
-#include <ddk/zwtypes.h>
+#include <ntos/ldrtypes.h>
+#include <ntos/zwtypes.h>
#include <ddk/ioctrl.h>
-#include <ddk/rtltypes.h>
+#include <ntos/rtltypes.h>
#include <ddk/haltypes.h>
#include <napi/shared_data.h>
-#include <ddk/zw.h>
-#include <ddk/rtl.h>
+#include <ntos/zw.h>
+#include <ntos/rtl.h>
#include <ddk/dbgfuncs.h>
#include <ddk/ldrfuncs.h>
-#include <ddk/cmfuncs.h>
#if defined(__NTOSKRNL__) || defined(__NTDRIVER__) || defined(__NTHAL__)
#include <ddk/exfuncs.h>
#include <ddk/halfuncs.h>