diff --git a/src/shims/foreign_items/posix.rs b/src/shims/foreign_items/posix.rs
index 4574d203efb7..6e2a7a9fcb4f 100644
--- a/src/shims/foreign_items/posix.rs
+++ b/src/shims/foreign_items/posix.rs
@@ -313,11 +313,6 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
                 assert_eq!(args.len(), 0);
                 this.pthread_self(dest)?;
             }
-            "prctl" => {
-                assert_eq!(args.len(), 5);
-                let result = this.prctl(args[0], args[1], args[2], args[3], args[4])?;
-                this.write_scalar(Scalar::from_i32(result), dest)?;
-            }
             "sched_yield" => {
                 assert_eq!(args.len(), 0);
                 let result = this.sched_yield()?;
diff --git a/src/shims/foreign_items/posix/linux.rs b/src/shims/foreign_items/posix/linux.rs
index a32f0fa60678..eb58f7466089 100644
--- a/src/shims/foreign_items/posix/linux.rs
+++ b/src/shims/foreign_items/posix/linux.rs
@@ -75,6 +75,13 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
                 this.write_null(dest)?;
             }
 
+            // Threading
+            "prctl" => {
+                assert_eq!(args.len(), 5);
+                let result = this.prctl(args[0], args[1], args[2], args[3], args[4])?;
+                this.write_scalar(Scalar::from_i32(result), dest)?;
+            }
+
             // Dynamically invoked syscalls
             "syscall" => {
                 let sys_getrandom = this