7 files changed, 9 insertions, 9 deletions
diff --git a/src/kernel/KernelKit/KernelTaskScheduler.h b/src/kernel/KernelKit/KernelTaskScheduler.h
index f566dfc1..5a9c5eff 100644
--- a/src/kernel/KernelKit/KernelTaskScheduler.h
+++ b/src/kernel/KernelKit/KernelTaskScheduler.h
@@ -40,7 +40,7 @@ class KernelTask {
 /// @author Amlal
 class KernelTaskHelper final {
  public:
-  STATIC Bool Add(HAL::StackFramePtr frame_ptr, ProcessID new_kid);
+  STATIC Bool Add(HAL::StackFramePtr frame_ptr, KID kid);
   STATIC Bool Remove(const KID kid);
   STATIC Bool CanBeScheduled(const KernelTask& process);
   STATIC ErrorOr<KID> TheCurrentKID();
diff --git a/src/kernel/KernelKit/Timer.h b/src/kernel/KernelKit/Timer.h
index a5b7be03..6948be6e 100644
--- a/src/kernel/KernelKit/Timer.h
+++ b/src/kernel/KernelKit/Timer.h
@@ -40,7 +40,7 @@ class SoftwareTimer final : public ITimer {
 
  private:
   UIntPtr* fDigitalTimer{nullptr};
-  Int64    fWaitFor{0};
+  Int64    fWaitFor{0L};
 };
 
 class HardwareTimer final : public ITimer {
@@ -70,4 +70,4 @@ inline constexpr UInt64 rtl_milliseconds(UInt64 time) {
 }
 }  // namespace Kernel
 
-#endif  // !__KERNEL_KIT_TIMER_H__
-\ No newline at end of file
+#endif  // !__KERNEL_KIT_TIMER_H__
diff --git a/src/kernel/src/KernelTaskScheduler.cc b/src/kernel/src/KernelTaskScheduler.cc
index 8a14630d..540fe613 100644
--- a/src/kernel/src/KernelTaskScheduler.cc
+++ b/src/kernel/src/KernelTaskScheduler.cc
@@ -12,9 +12,9 @@
 
 namespace Kernel {
 
-Bool KernelTaskHelper::Add(HAL::StackFramePtr frame_ptr, KID new_kid) {
+Bool KernelTaskHelper::Add(HAL::StackFramePtr frame_ptr, KID kid) {
   NE_UNUSED(frame_ptr);
-  NE_UNUSED(new_kid);
+  NE_UNUSED(kid);
 
   return NO;
 }
diff --git a/src/kernel/src/Network/IPCMessage.cc b/src/kernel/src/Network/IPCMessage.cc
index 3773ac46..331f7ba7 100644
--- a/src/kernel/src/Network/IPCMessage.cc
+++ b/src/kernel/src/Network/IPCMessage.cc
@@ -100,12 +100,11 @@ Bool ipc_construct_packet(_Output IPC_MSG** pckt_in) {
 /***********************************************************************************/
 Bool IPC_MSG::Pass(IPC_MSG* src, IPC_MSG* target) {
   if (src && target && (target != src)) {
-    if (src->IpcSize > target->IpcSize) return No;
     if (target->IpcSize > src->IpcSize) return No;
 
     auto timeout = 0U;
 
-    const auto kLimitTimeout = 1000000U;
+    constexpr auto kLimitTimeout = 1000000U;
 
     while ((target->IpcLock % kIPCLockUsed) != 0) {
       if (timeout > kLimitTimeout) {
diff --git a/src/kernel/src/SoftwareTimer.cc b/src/kernel/src/SoftwareTimer.cc
index ef49c894..6e89df81 100644
--- a/src/kernel/src/SoftwareTimer.cc
+++ b/src/kernel/src/SoftwareTimer.cc
@@ -24,7 +24,7 @@ SoftwareTimer::~SoftwareTimer() {
 }
 
 BOOL SoftwareTimer::Wait() {
-  if (fWaitFor < 1) return NO;
+  if (fWaitFor < 1L) return NO;
 
   while (*fDigitalTimer < (*fDigitalTimer + fWaitFor)) {
     ++(*fDigitalTimer);
diff --git a/src/kernel/src/Swap/DiskSwap.cc b/src/kernel/src/Swap/DiskSwap.cc
index 944463fa..d65e4f02 100644
--- a/src/kernel/src/Swap/DiskSwap.cc
+++ b/src/kernel/src/Swap/DiskSwap.cc
@@ -28,7 +28,7 @@ Int64 IDiskSwap::Write(SwapDiskHdr* data) {
 /// @return Whether the swap was fetched to disk, or not.
 /***********************************************************************************/
 SwapDiskHdr* IDiskSwap::Read(const UIntPtr offset, SizeT data_len) {
-  if (data_len == 0) return nullptr;
+  if (data_len == 0UL) return nullptr;
 
   FileStream file(kSwapPageFilePath, kRestrictRB);
 
diff --git a/src/kernel/src/ThreadLocalStorage.cc b/src/kernel/src/ThreadLocalStorage.cc
index 0f6dfca4..2dfc9c5d 100644
--- a/src/kernel/src/ThreadLocalStorage.cc
+++ b/src/kernel/src/ThreadLocalStorage.cc
@@ -37,6 +37,7 @@ Boolean tls_check_tib(THREAD_INFORMATION_BLOCK* tib_ptr) {
  * @return if the TIB record is valid or not.
  */
 EXTERN_C Bool tls_check_syscall_impl(Kernel::VoidPtr tib_ptr) {
+  MUST_PASS(tib_ptr);
   if (!tib_ptr) {
     kout << "TLS: Failed because of an invalid TIB...\r";
     return No;