From 38e41e66e581b72a910ca7d693bbd9fbd32c37e0 Mon Sep 17 00:00:00 2001
From: Scott Long <scottl@FreeBSD.org>
Date: Tue, 28 Feb 2017 21:27:51 +0000
Subject: [PATCH] Provide a comment on why stdio.h needs to be included.

---
 sys/kern/subr_prf.c | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/sys/kern/subr_prf.c b/sys/kern/subr_prf.c
index c00087571334..5f809dfca13a 100644
--- a/sys/kern/subr_prf.c
+++ b/sys/kern/subr_prf.c
@@ -76,6 +76,13 @@ __FBSDID("$FreeBSD$");
 #include <machine/stdarg.h>
 #else
 #include <stdarg.h>
+#endif
+
+/*
+ * This is needed for sbuf_putbuf() when compiled into userland.  Due to the
+ * shared nature of this file, it's the only place to put it.
+ */
+#ifndef _KERNEL
 #include <stdio.h>
 #endif