atomic_cas_64_ni
atomic_op_alias(atomic_cas_64_ni,_atomic_cas_64)
__strong_alias(atomic_cas_64_ni, _atomic_cas_ulong)
atomic_op_alias(atomic_cas_64_ni,_atomic_cas_64)
ATF_TP_ADD_TC(tp, atomic_cas_64_ni);
atf_cas(atomic_cas_64_ni, uint64_t, "0x%" PRIx64);