From baf55d1d06ec21028f521e2a0594294a49bc3bce Mon Sep 17 00:00:00 2001
From: mav <mav@FreeBSD.org>
Date: Sat, 2 May 2009 12:20:43 +0000
Subject: Add support for using i8254 and rtc timers as event sources for amd64
 SMP system. Redistribute hard-/stat-/profclock events to other CPUs using
 IPIs.

---
 sys/amd64/amd64/mp_machdep.c | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'sys/amd64/amd64/mp_machdep.c')

diff --git a/sys/amd64/amd64/mp_machdep.c b/sys/amd64/amd64/mp_machdep.c
index ffda046..7a93023 100644
--- a/sys/amd64/amd64/mp_machdep.c
+++ b/sys/amd64/amd64/mp_machdep.c
@@ -57,6 +57,7 @@ __FBSDID("$FreeBSD$");
 #include <vm/vm_extern.h>
 
 #include <machine/apicreg.h>
+#include <machine/clock.h>
 #include <machine/cputypes.h>
 #include <machine/cpufunc.h>
 #include <machine/md_var.h>
@@ -1124,6 +1125,15 @@ ipi_bitmap_handler(struct trapframe frame)
 		sched_preempt(curthread);
 
 	/* Nothing to do for AST */
+
+	if (ipi_bitmap & (1 << IPI_HARDCLOCK))
+		hardclockintr(&frame);
+
+	if (ipi_bitmap & (1 << IPI_STATCLOCK))
+		statclockintr(&frame);
+
+	if (ipi_bitmap & (1 << IPI_PROFCLOCK))
+		profclockintr(&frame);
 }
 
 /*
-- 
cgit v1.1