atf_add_nv
atf_add_nv(atomic_add_long_nv, unsigned long, long, "0x%lx");
atf_add_nv(atomic_add_ptr_nv, void *, ssize_t, "%p");
atf_add_nv(atomic_add_64_nv, uint64_t, int64_t, "0x%" PRIx64);
atf_add_nv(atomic_add_32_nv, uint32_t, int32_t, "0x%" PRIx32);
atf_add_nv(atomic_add_int_nv, unsigned int, int, "0x%x");