/* INCLUDES *****************************************************************/
-#include <ddk/ntddk.h>
#include <hal.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)
{
DPRINT("HalInitializeProcessor(%x %x)\n", ProcessorNumber, LoaderBlock);
}
HalStartNextProcessor(ULONG Unknown1,
ULONG ProcessorStack)
{
- DPRINT("HalStartNextProcessor(%x %x)\n", ProcessorNumber, ProcessorStack);
+ DPRINT("HalStartNextProcessor(%x %x)\n", Unknown1, ProcessorStack);
return TRUE;
}