From 0aef6fb35009cbd2d7d62594eb76d625c4da2d71 Mon Sep 17 00:00:00 2001
From: Ian Lepore <ian@FreeBSD.org>
Date: Sat, 14 Mar 2015 23:16:12 +0000
Subject: timecounter: Merge FreeBSD change r280012

Use sbuf_printf() for sysctl strings instead of stack buffers and snprintf().

Update #3175.
---
 cpukit/score/src/kern_tc.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/cpukit/score/src/kern_tc.c b/cpukit/score/src/kern_tc.c
index 5cdcafb717..0b27c8b68f 100644
--- a/cpukit/score/src/kern_tc.c
+++ b/cpukit/score/src/kern_tc.c
@@ -51,6 +51,7 @@ __FBSDID("$FreeBSD r284178 2015-06-09T11:49:56Z$");
 #include <sys/limits.h>
 #include <sys/lock.h>
 #include <sys/mutex.h>
+#include <sys/sbuf.h>
 #include <sys/sysctl.h>
 #include <sys/syslog.h>
 #include <sys/systm.h>
-- 
cgit v1.2.3