atf_or_nv
atf_or_nv(atomic_or_64_nv, uint64_t, PRIx64);
atf_or_nv(atomic_or_32_nv, uint32_t, PRIx32);
atf_or_nv(atomic_or_uint_nv, unsigned int, "x");
atf_or_nv(atomic_or_ulong_nv, unsigned long, "lx");