From bb9fba1fdd89885031b7ed24b48982ac76c99856 Mon Sep 17 00:00:00 2001 From: Liav A Date: Mon, 24 Feb 2020 16:01:50 +0200 Subject: [PATCH] KeyboardDevice: Use dbg() instead of dbgprintf() --- Kernel/Devices/KeyboardDevice.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kernel/Devices/KeyboardDevice.cpp b/Kernel/Devices/KeyboardDevice.cpp index 8431041d8e..936e73538b 100644 --- a/Kernel/Devices/KeyboardDevice.cpp +++ b/Kernel/Devices/KeyboardDevice.cpp @@ -501,7 +501,7 @@ void KeyboardDevice::handle_irq(RegisterState&) } #ifdef KEYBOARD_DEBUG - dbgprintf("Keyboard::handle_irq: %b %s\n", ch, pressed ? "down" : "up"); + dbg() << "Keyboard::handle_irq: " << String::format("%b", ch) << " " << (pressed ? "down" : "up"); #endif switch (ch) { case 0x38: