/* INCLUDES *****************************************************************/
-#include <ddk/ntddk.h>
-#include <internal/ke.h>
-#include <internal/ps.h>
-#include <internal/i386/segment.h>
+#include <ntoskrnl.h>
#define NDEBUG
#include <internal/debug.h>
+
/* GLOBALS *******************************************************************/
static KTSS* Ki386TssArray[MAXIMUM_PROCESSORS];