Don't use DDK, use NDK for wshirda and ws2help

Modified: trunk/reactos/lib/ws2help/ws2help.h
Modified: trunk/reactos/lib/wshirda/wshirda.c
Modified: trunk/reactos/lib/wshirda/wshirda.h

--- trunk/reactos/lib/ws2help/ws2help.h	2005-06-20 20:22:54 UTC (rev 16178)
+++ trunk/reactos/lib/ws2help/ws2help.h	2005-06-20 20:26:14 UTC (rev 16179)
@@ -7,10 +7,10 @@

 #ifndef __WS2HELP_H
 #define __WS2HELP_H
 

-#include <stdlib.h>
-#include <ddk/ntddk.h>

 #include <wsahelp.h>
 #include <windows.h>

+#define NTOS_MODE_USER
+#include <ndk/ntndk.h>

 #include <debug.h>
 
 #define EXPORT STDCALL

--- trunk/reactos/lib/wshirda/wshirda.c	2005-06-20 20:22:54 UTC (rev 16178)
+++ trunk/reactos/lib/wshirda/wshirda.c	2005-06-20 20:26:14 UTC (rev 16179)
@@ -16,10 +16,6 @@

 
 #endif /* DBG */
 

-/* To make the linker happy */
-VOID STDCALL KeBugCheck (ULONG	BugCheckCode) {}
-
-

 BOOL
 EXPORT
 DllMain(HANDLE hInstDll,

--- trunk/reactos/lib/wshirda/wshirda.h	2005-06-20 20:22:54 UTC (rev 16178)
+++ trunk/reactos/lib/wshirda/wshirda.h	2005-06-20 20:26:14 UTC (rev 16179)
@@ -7,10 +7,10 @@

 #ifndef __WSHIRDA_H
 #define __WSHIRDA_H
 

-#include <stdlib.h>
-#include <ddk/ntddk.h>

 #include <wsahelp.h>
 #include <windows.h>

+#define NTOS_MODE_USER
+#include <ndk/ntndk.h>

 #include <debug.h>
 
 #define EXPORT STDCALL