diff --git a/reactos/hal/halx86/generic/ipi.c b/reactos/hal/halx86/generic/ipi.c
index fb372b2c4b5..e1ac713be9d 100644
--- a/reactos/hal/halx86/generic/ipi.c
+++ b/reactos/hal/halx86/generic/ipi.c
@@ -18,7 +18,7 @@
 VOID STDCALL
 HalRequestIpi(ULONG ProcessorNo)
 {
-  DPRINT("HalRequestIpi(ProcessorNo %d)\n", ProcessorNo);
+  DPRINT("HalRequestIpi(ProcessorNo %lu)\n", ProcessorNo);
 }
 
 /* EOF */
diff --git a/reactos/hal/halx86/generic/processor.c b/reactos/hal/halx86/generic/processor.c
index eac573dc44b..6fb46adfb2e 100644
--- a/reactos/hal/halx86/generic/processor.c
+++ b/reactos/hal/halx86/generic/processor.c
@@ -24,7 +24,7 @@ VOID STDCALL
 HalInitializeProcessor(ULONG ProcessorNumber,
                        PLOADER_PARAMETER_BLOCK LoaderBlock)
 {
-  DPRINT("HalInitializeProcessor(%x %x)\n", ProcessorNumber, LoaderBlock);
+  DPRINT("HalInitializeProcessor(%lu %p)\n", ProcessorNumber, LoaderBlock);
 }
 
 BOOLEAN STDCALL
@@ -39,7 +39,7 @@ BOOLEAN STDCALL
 HalStartNextProcessor(ULONG Unknown1,
 		      ULONG ProcessorStack)
 {
-  DPRINT("HalStartNextProcessor(%x %x)\n", Unknown1, ProcessorStack);
+  DPRINT("HalStartNextProcessor(0x%lx 0x%lx)\n", Unknown1, ProcessorStack);
 
   return TRUE;
 }
diff --git a/reactos/hal/halx86/generic/timer.c b/reactos/hal/halx86/generic/timer.c
index 0e9ab1ebfc4..41266429df8 100644
--- a/reactos/hal/halx86/generic/timer.c
+++ b/reactos/hal/halx86/generic/timer.c
@@ -216,7 +216,7 @@ VOID HalpCalibrateStallExecution(VOID)
      Ki386RdTSC(EndCount);
 
      Pcr->PrcbData.MHz = (ULONG)(EndCount.QuadPart - StartCount.QuadPart) / 10000;
-     DPRINT("%dMHz\n", Pcr->PrcbData.MHz);
+     DPRINT("%luMHz\n", Pcr->PrcbData.MHz);
      return;
 
   }