// include windows.h before ntddk.h to get user mode prototype for InterlockedXxx functions
#include <windows.h>
#include <ddk/ntddk.h>
+#include <ddk/ntifs.h>
#include "ntos/types.h"
#include "ntos/cdrom.h"
#include "ntos/console.h"
#include "napi/npipe.h"
#include "napi/shared_data.h"
#include "napi/win32.h"
+#include "ntos/rtltypes.h"
+#include "ntos/rtl.h"
+#include "ntos/zwtypes.h"
+#include "ntos/zw.h"
#include "ntdll/csr.h"
#include "ntdll/dbg.h"
#include "ntdll/ldr.h"
#include "kernel32/error.h"
#else // Assume kernel mode
#include <ddk/ntddk.h>
+//#include "ntos/types.h" // robd
#include <ddk/ntifs.h>
#include "ntos/types.h"
#include "ntos/cdrom.h"
#include "napi/npipe.h"
#include "napi/shared_data.h"
#include "napi/win32.h"
+#include "ntos/rtltypes.h"
+#include "ntos/rtl.h"
+#include "ntos/zwtypes.h"
+#include "ntos/zw.h"
#endif
#endif /* ndef _NTOS_H */