From 8a22e93ebb2047d979ff478e65fe3ff99a295aef Mon Sep 17 00:00:00 2001
From: Liav A <liavalb@gmail.com>
Date: Tue, 25 Feb 2020 00:38:28 +0200
Subject: [PATCH] VirtualConsole: Use dbg() instead of dbgprintf()

---
 Kernel/TTY/VirtualConsole.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Kernel/TTY/VirtualConsole.cpp b/Kernel/TTY/VirtualConsole.cpp
index 2642cb240b..82b57320ed 100644
--- a/Kernel/TTY/VirtualConsole.cpp
+++ b/Kernel/TTY/VirtualConsole.cpp
@@ -129,7 +129,7 @@ void VirtualConsole::switch_to(unsigned index)
             return;
         active_console->set_active(false);
     }
-    dbgprintf("VC: Switch to %u (%p)\n", index, s_consoles[index]);
+    dbg() << "VC: Switch to " << index << " (" << s_consoles[index] << ")";
     s_active_console = index;
     s_consoles[s_active_console]->set_active(true);
     Console::the().set_implementation(s_consoles[s_active_console]);