diff --git a/src/shims/foreign_items/windows.rs b/src/shims/foreign_items/windows.rs
index 29eac99e565c..623b0f307b91 100644
--- a/src/shims/foreign_items/windows.rs
+++ b/src/shims/foreign_items/windows.rs
@@ -124,11 +124,12 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
             | "DeleteCriticalSection"
             => {
                 // Nothing to do, not even a return value.
+                // (Windows locks are reentrant, and we have only 1 thread,
+                // so not doing any futher checks here is at least not incorrect.)
             }
 
             | "GetModuleHandleW"
             | "GetProcAddress"
-            | "TryEnterCriticalSection"
             | "GetConsoleScreenBufferInfo"
             | "SetConsoleTextAttribute"
             => {