atf_add
atf_add(atomic_add_32, uint32_t, int32_t, "0x%" PRIx32);
atf_add(atomic_add_int, unsigned int, int, "0x%x");
atf_add(atomic_add_long, unsigned long, long, "0x%lx");
atf_add(atomic_add_ptr, void *, ssize_t, "%p");
atf_add(atomic_add_64, uint64_t, int64_t, "0x%" PRIx64);