The mutexes were standard Rust Mutex, which I believe just forwards directly to pthread locks. I'm not sure what kind of spinning behavior they have though.
The PR for std is here: https://github.com/rust-lang/rust/pull/56410
Mostly comes to the platform native APIs habing various soundness issues.