From d97a4ae026aa130bca602a6f20ab545f332fdb65 Mon Sep 17 00:00:00 2001 From: Geoffrey Challen Date: Thu, 31 Dec 2015 11:42:26 -0500 Subject: [PATCH] Synchronizing vkprintf with what we need for kprintf pass through. --- kern/include/stdarg.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kern/include/stdarg.h b/kern/include/stdarg.h index b4db313..b341996 100644 --- a/kern/include/stdarg.h +++ b/kern/include/stdarg.h @@ -62,7 +62,7 @@ typedef __va_list va_list; * or split the definition of va_list into another header file, none * of which seems entirely desirable. */ -void vkprintf(const char *fmt, va_list ap) __PF(1,0); +int vkprintf(const char *fmt, va_list ap) __PF(1,0); int vsnprintf(char *buf, size_t maxlen, const char *fmt, va_list ap) __PF(3,0); /*