diff --git a/ntoskrnl/include/internal/ke_x.h b/ntoskrnl/include/internal/ke_x.h
index fcf3edb2786..ae431649773 100644
--- a/ntoskrnl/include/internal/ke_x.h
+++ b/ntoskrnl/include/internal/ke_x.h
@@ -1359,7 +1359,9 @@ KxQueueReadyThread(IN PKTHREAD Thread,
 
     /* Sanity checks */
     ASSERT(Prcb == KeGetCurrentPrcb());
+#ifdef CONFIG_SMP
     ASSERT(Prcb->PrcbLock != 0);
+#endif
     ASSERT(Thread->State == Running);
     ASSERT(Thread->NextProcessor == Prcb->Number);