Chapter 17 of the S32K3XX reference manual says that "S32K3 does not support the ARM load- and store- exclusive instructions."
Screenshot From 2026-04-25 13-59-31.png
But the Errata calls out the use of LDREX/STREX:
Screenshot From 2026-04-25 14-45-02.png
are LDREX/STREX usable on the S32K344? Are they safe to use?