/* INCLUDES *****************************************************************/
-#include <ddk/ntddk.h>
#include <hal.h>
-#include <halirq.h>
-#include <mps.h>
-
-#include <ioapic.h>
-#include <apic.h>
-
-#include <internal/ntoskrnl.h>
-#include <internal/i386/segment.h>
-#include <internal/ke.h>
-#include <internal/ps.h>
-
#define NDEBUG
-#include <internal/debug.h>
-
-
+#include <debug.h>
/* FUNCTIONS *****************************************************************/
VOID STDCALL
HalInitializeProcessor(ULONG ProcessorNumber,
- PVOID /*PLOADER_PARAMETER_BLOCK*/ LoaderBlock)
+ PLOADER_PARAMETER_BLOCK LoaderBlock)
{
ULONG CPU;