diff --git a/src/shims/posix/linux/sync.rs b/src/shims/posix/linux/sync.rs
index 0892eab46739..a891a7dd9946 100644
--- a/src/shims/posix/linux/sync.rs
+++ b/src/shims/posix/linux/sync.rs
@@ -7,8 +7,11 @@ pub fn futex<'tcx>(
     args: &[OpTy<'tcx, Tag>],
     dest: PlaceTy<'tcx, Tag>,
 ) -> InterpResult<'tcx> {
-    if args.len() < 4 {
-        throw_ub_format!("incorrect number of arguments for futex syscall: got {}, expected at least 4", args.len());
+    // The amount of arguments used depends on the type of futex operation.
+    // Some users always pass all arguments, even the unused ones, due to how they wrap this syscall in their code base.
+    // Some other users pass only the arguments the operation actually needs. So we don't use `check_arg_count` here.
+    if !(4..=7).contains(&args.len()) {
+        throw_ub_format!("incorrect number of arguments for futex syscall: got {}, expected between 4 and 7 (inclusive)", args.len());
     }
     let addr = args[1];
     let addr_scalar = this.read_scalar(addr)?.check_init()?;