It does not (or it wouldn't be there) and they aren't the only ARM vendor with TSO (Fujitsu also does it.)
Their cores break the ARM spec in other ways too. Added instructions for AMX, new guard privilege modes, HCR_EL2.E2H can't be disabled, GPRs are clobbered on WFI, etc.
Their cores break the ARM spec in other ways too. Added instructions for AMX, new guard privilege modes, HCR_EL2.E2H can't be disabled, GPRs are clobbered on WFI, etc.