* 15/05/98: Created
*/
+#ifdef __USE_W32API
+
+#include_next <ddk/ntddk.h>
+
+#else /* __USE_W32API */
+
#ifndef __NTDDK_H
#define __NTDDK_H
#include <ddk/ketypes.h>
#include <ntos/security.h>
#include <ddk/setypes.h>
-#include <ddk/obtypes.h>
#include <ddk/mmtypes.h>
#include <ddk/potypes.h>
#include <ddk/pnptypes.h>
#include <ntos/zwtypes.h>
#include <ddk/ioctrl.h>
#include <ntos/rtltypes.h>
-#include <ddk/haltypes.h>
#include <napi/shared_data.h>
#include <ntos/zw.h>
#include <ddk/exfuncs.h>
#include <ddk/halfuncs.h>
#include <ddk/mmfuncs.h>
-#include <ddk/kdfuncs.h>
#include <ddk/kefuncs.h>
#include <ddk/pofuncs.h>
#include <ddk/pnpfuncs.h>
#endif /* __NTDDK_H */
+#endif /* __USE_W32API */