RGBCube/serenity
1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-07-26 02:17:34 +00:00
Code Issues Activity Actions

PageDirectory: Use dbg() instead of dbgprintf()

Browse source
This commit is contained in:
Liav A 2020-02-24 15:19:28 +02:00 • committed by Andreas Kling
parent 2b9826a444
commit 62adbbc598
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Kernel/VM/PageDirectory.cpp
View file

@ -114,7 +114,7 @@ PageDirectory::PageDirectory(Process& process, const RangeAllocator* parent_rang
PageDirectory::~PageDirectory() PageDirectory::~PageDirectory()
{ {
#ifdef MM_DEBUG #ifdef MM_DEBUG
dbgprintf("MM: ~PageDirectory K%x\n", this); dbg() << "MM: ~PageDirectory K" << this;
#endif #endif
InterruptDisabler disabler; InterruptDisabler disabler;
cr3_map().remove(cr3()); cr3_map().remove(cr3());