1 files changed, 68 insertions, 0 deletions
diff --git a/kern/printf.h b/kern/printf.h
new file mode 100644
index 0000000..b72640a
--- /dev/null
+++ b/kern/printf.h
@@ -0,0 +1,68 @@
+/*
+ * Header file for printf type functions.
+ * Copyright (C) 2006, 2007 Free Software Foundation.
+ *
+ * This program is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 2, or (at your option)
+ * any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
+ */
+/*
+ *     String handling functions.
+ *
+ */
+
+#ifndef _MACH_SA_SYS_PRINTF_H_
+#define _MACH_SA_SYS_PRINTF_H_
+
+#include <sys/types.h>
+#include <stdarg.h>
+
+extern void _doprnt (const char *fmt,
+		     va_list argp, 
+		     void (*putc)(char, vm_offset_t), 
+		     int radix, 
+		     vm_offset_t putc_arg);
+
+extern void printnum (unsigned long long u, int base,
+                      void (*putc)(char, vm_offset_t),
+                      vm_offset_t putc_arg);
+
+extern int sprintf (char *buf, const char *fmt, ...)
+	__attribute__ ((format (printf, 2, 3)));
+extern int snprintf (char *buf, size_t size, const char *fmt, ...)
+	__attribute__ ((format (printf, 3, 4)));
+extern int vsnprintf (char *buf, size_t size, const char *fmt, va_list args)
+	__attribute__ ((format (printf, 3, 0)));
+
+
+extern int printf (const char *fmt, ...)
+	__attribute__ ((format (printf, 1, 2)));
+
+#define printf_once(fmt, ...)			\
+	MACRO_BEGIN				\
+	static int __once = 0;			\
+	if (!__once) {				\
+		printf(fmt, ##__VA_ARGS__);	\
+		__once = 1;			\
+	}					\
+	MACRO_END
+
+extern int indent;
+extern void iprintf (const char *fmt, ...);
+
+extern int vprintf(const char *fmt, va_list listp);
+
+extern void safe_gets (char *str, int maxlen);
+
+#endif /* _MACH_SA_SYS_PRINTF_H_ */
+