Add dvprintf()

headers/os/drivers/KernelExport.h

@@ -160,6 +160,7 @@ extern area_id		map_physical_memory(const char *areaName,
 
 /* kernel debugging facilities */
 extern void			dprintf(const char *format, ...) _PRINTFLIKE(1, 2);
+extern void			dvprintf(const char *format, va_list args);
 extern void			kprintf(const char *fmt, ...) _PRINTFLIKE(1, 2);
 
 extern void 		dump_block(const char *buffer, int size, const char *prefix);

src/system/kernel/debug/debug.cpp

@@ -2111,6 +2111,16 @@ dprintf(const char* format, ...)
 }
 
 
+void
+dvprintf(const char* format, va_list args)
+{
+	if (!sSerialDebugEnabled && !sSyslogOutputEnabled && !sBlueScreenEnabled)
+		return;
+
+	dprintf_args(format, args, true);
+}
+
+
 void
 dprintf_no_syslog(const char* format, ...)
 {