/* INCLUDES *****************************************************************/
-#include <ntoskrnl.h>
+#include <ddk/ntddk.h>
+#include <internal/ke.h>
+#include <internal/id.h>
#define NDEBUG
#include <internal/debug.h>
-
/* FUNCTIONS ****************************************************************/
VOID STDCALL KeClearEvent (PKEVENT Event)