atf_cas
atf_cas(atomic_cas_32, uint32_t, "0x%" PRIx32);
atf_cas(atomic_cas_uint, unsigned int, "0x%x");
atf_cas(atomic_cas_ulong, unsigned long, "0x%lx");
atf_cas(atomic_cas_ptr, void *, "%p");
atf_cas(atomic_cas_64, uint64_t, "0x%" PRIx64);
atf_cas(atomic_cas_32_ni, uint32_t, "0x%" PRIx32);
atf_cas(atomic_cas_uint_ni, unsigned int, "0x%x");
atf_cas(atomic_cas_ulong_ni, unsigned long, "0x%lx");
atf_cas(atomic_cas_ptr_ni, void *, "%p");
atf_cas(atomic_cas_64_ni, uint64_t, "0x%" PRIx64);