Wait, wait, there can be even more confusion! IIRC nvidia’s Denver and Carmel Aarch64 cores, and one of Fujitsu’s, also uses TSO... ...so your tested Intel-to-

Wait, wait, there can be even more confusion! IIRC nvidia’s Denver and Carmel Aarch64 cores, and one of Fujitsu’s, also uses TSO... ...so your tested Intel-to-ARM port might work just fine until run on a different vendor’s core!