Use correct format for arguments in debug messages

[reactos.git] / reactos / hal / halx86 / generic / ipi.c

diff --git a/reactos/hal/halx86/generic/ipi.c b/reactos/hal/halx86/generic/ipi.c
index 614ba3d..e1ac713 100644 (file)
--- a/reactos/hal/halx86/generic/ipi.c
+++ b/reactos/hal/halx86/generic/ipi.c
@@ -9,18 +9,16 @@
 
 /* INCLUDES *****************************************************************/
 
-#include <ddk/ntddk.h>
 #include <hal.h>
-
 #define NDEBUG
-#include <internal/debug.h>
+#include <debug.h>
 
 /* FUNCTIONS ****************************************************************/
 
 VOID STDCALL
 HalRequestIpi(ULONG ProcessorNo)
 {
-  DPRINT("HalRequestIpi(ProcessorNo %d)\n", ProcessorNo);
+  DPRINT("HalRequestIpi(ProcessorNo %lu)\n", ProcessorNo);
 }
 
 /* EOF */