feat(kernel): Finalizing the first version of the user scheduler.

other:

 - Removed DmaPool into its own Kit.
 - ApplicationProcessor unit has been cleaned up.
 - Rename functions of MemoryMgr.
 - Use KIB instead of MIBs of stack.
 - Cleanup parts of the scheduler, and hw scheduler.
 - Use UD handler for INT 6.

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>

1 files changed, 1 insertions, 1 deletions

diff --git a/dev/kernel/src/KPC.cc b/dev/kernel/src/KPC.cc
index 8937d19a..9a76c110 100644
--- a/dev/kernel/src/KPC.cc
+++ b/dev/kernel/src/KPC.cc
@@ -19,7 +19,7 @@ Boolean err_bug_check_raise(Void) noexcept {
 
   if (ptr == nullptr) goto bug_check_fail;
 
-  if (!mm_is_valid_heap(ptr)) goto bug_check_fail;
+  if (!mm_is_valid_ptr(ptr)) goto bug_check_fail;
 
   delete[] ptr;