From 62adbbc5980a91d196fe73a2779a4764077492c0 Mon Sep 17 00:00:00 2001
From: Liav A <liavalb@gmail.com>
Date: Mon, 24 Feb 2020 15:19:28 +0200
Subject: [PATCH] PageDirectory: Use dbg() instead of dbgprintf()

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

diff --git a/Kernel/VM/PageDirectory.cpp b/Kernel/VM/PageDirectory.cpp
index 3c8eb109341..0f6fc4ad727 100644
--- a/Kernel/VM/PageDirectory.cpp
+++ b/Kernel/VM/PageDirectory.cpp
@@ -114,7 +114,7 @@ PageDirectory::PageDirectory(Process& process, const RangeAllocator* parent_rang
 PageDirectory::~PageDirectory()
 {
 #ifdef MM_DEBUG
-    dbgprintf("MM: ~PageDirectory K%x\n", this);
+    dbg() << "MM: ~PageDirectory K" << this;
 #endif
     InterruptDisabler disabler;
     cr3_map().remove(cr3());