atf_or
atf_or(atomic_or_32, uint32_t, PRIx32);
atf_or(atomic_or_uint, unsigned int, "x");
atf_or(atomic_or_ulong, unsigned long, "lx");
atf_or(atomic_or_64, uint64_t, PRIx64);