diff --git a/headers/os/drivers/KernelExport.h b/headers/os/drivers/KernelExport.h
index 3e2e5848dd..98e59387f1 100644
--- a/headers/os/drivers/KernelExport.h
+++ b/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);
diff --git a/src/system/kernel/debug/debug.cpp b/src/system/kernel/debug/debug.cpp
index df7e2efa74..caa90d1311 100644
--- a/src/system/kernel/debug/debug.cpp
+++ b/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, ...)
 {