diff --git a/sys/i386/i386/mp_machdep.c b/sys/i386/i386/mp_machdep.c
index 814d7c46a049..863aa30418b4 100644
--- a/sys/i386/i386/mp_machdep.c
+++ b/sys/i386/i386/mp_machdep.c
@@ -1131,8 +1131,8 @@ forward_hardclock(void)
 		ipi_selected(map, IPI_HARDCLOCK);
 }
 
-
-void ipi_bitmap_handler(struct clockframe frame)
+void
+ipi_bitmap_handler(struct clockframe frame)
 {
 	int cpu = PCPU_GET(cpuid);
 	u_int ipi_bitmap;
@@ -1166,7 +1166,6 @@ void ipi_bitmap_handler(struct clockframe frame)
 	critical_exit();
 }
 
-
 /*
  * send an IPI to a set of cpus.
  */