diff --git a/reactos/hal/halx86/generic/processor.c b/reactos/hal/halx86/generic/processor.c
index 0374162b974..400f22e2157 100644
--- a/reactos/hal/halx86/generic/processor.c
+++ b/reactos/hal/halx86/generic/processor.c
@@ -78,9 +78,9 @@ HalProcessorIdle(VOID)
  */
 VOID
 NTAPI
-HalRequestIpi(ULONG Reserved)
+HalRequestIpi(KAFFINITY TargetProcessors)
 {
-    /* Not implemented on NT */
+    /* Not implemented on UP */
     __debugbreak();
 }
 
diff --git a/reactos/hal/halx86/mp/ipi_mp.c b/reactos/hal/halx86/mp/ipi_mp.c
index 6451e8297ca..77810f0701a 100644
--- a/reactos/hal/halx86/mp/ipi_mp.c
+++ b/reactos/hal/halx86/mp/ipi_mp.c
@@ -16,10 +16,11 @@
 /* FUNCTIONS ****************************************************************/
 
 VOID STDCALL
-HalRequestIpi(ULONG ProcessorNo)
+HalRequestIpi(KAFFINITY TargetProcessors)
 {
-  DPRINT("HalRequestIpi(ProcessorNo %d)\n", ProcessorNo);
-  APICSendIPI(1 << ProcessorNo,
+  /* FIXME: SMP HAL is...very broken */
+  DPRINT("HalRequestIpi(TargetProcessors %d)\n", TargetProcessors);
+  APICSendIPI(1 << TargetProcessors,
 	      IPI_VECTOR|APIC_ICR0_LEVEL_DEASSERT|APIC_ICR0_DESTM);
 }