From 9e24f23880734a20dbfbdf704be20167d51b734c Mon Sep 17 00:00:00 2001
From: Ian Lepore <ian@FreeBSD.org>
Date: Wed, 2 Apr 2014 17:34:17 +0000
Subject: [PATCH] Fix build breakage.  Apparently all ARM configs build
 kern_et.c, but only a few of them also build kern_clocksource.c.  That
 strikes me as insane, but maybe there's a good reason for it.  Until I figure
 that out, un-break the build by not referencing functions in kern_clocksource
 if NO_EVENTTIMERS is defined.

---
 sys/kern/kern_et.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/sys/kern/kern_et.c b/sys/kern/kern_et.c
index f64bef5f3128..544e6e476739 100644
--- a/sys/kern/kern_et.c
+++ b/sys/kern/kern_et.c
@@ -34,6 +34,8 @@ __FBSDID("$FreeBSD$");
 #include <sys/queue.h>
 #include <sys/timeet.h>
 
+#include "opt_timer.h"
+
 SLIST_HEAD(et_eventtimers_list, eventtimer);
 static struct et_eventtimers_list eventtimers = SLIST_HEAD_INITIALIZER(et_eventtimers);
 
@@ -121,7 +123,9 @@ void
 et_change_frequency(struct eventtimer *et, uint64_t newfreq)
 {
 
+#ifndef NO_EVENTTIMERS
 	cpu_et_frequency(et, newfreq);
+#endif
 }
 
 /*