diff options
| -rw-r--r-- | Kernel/KBuffer.h | 2 | ||||
| -rw-r--r-- | Kernel/Scheduler.cpp | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/Kernel/KBuffer.h b/Kernel/KBuffer.h index 8a136bc32c..ccedfa2f17 100644 --- a/Kernel/KBuffer.h +++ b/Kernel/KBuffer.h @@ -64,7 +64,7 @@ public: auto new_region = MM.allocate_kernel_region(page_round_up(new_capacity), m_region->name(), m_region->access(), m_allocation_strategy); if (!new_region) return false; - if (m_region && m_size > 0) + if (m_size > 0) memcpy(new_region->vaddr().as_ptr(), data(), min(m_region->size(), m_size)); m_region = new_region.release_nonnull(); return true; diff --git a/Kernel/Scheduler.cpp b/Kernel/Scheduler.cpp index a5daf526f7..850553b157 100644 --- a/Kernel/Scheduler.cpp +++ b/Kernel/Scheduler.cpp @@ -460,7 +460,7 @@ Process* Scheduler::colonel() UNMAP_AFTER_INIT void Scheduler::initialize() { - VERIFY(&Processor::current() != nullptr); // sanity check + VERIFY(Processor::is_initialized()); // sanity check RefPtr<Thread> idle_thread; g_finalizer_wait_queue = new WaitQueue; |