atf_and_nv
atf_and_nv(atomic_and_64_nv, uint64_t, PRIx64);
atf_and_nv(atomic_and_32_nv, uint32_t, PRIx32);
atf_and_nv(atomic_and_uint_nv, unsigned int, "x");
atf_and_nv(atomic_and_ulong_nv, unsigned long, "lx");