atf_dec_nv
atf_dec_nv(atomic_dec_32_nv, uint32_t, "0x%" PRIx32);
atf_dec_nv(atomic_dec_uint_nv, unsigned int, "0x%x");
atf_dec_nv(atomic_dec_ulong_nv, unsigned long, "0x%lx");
atf_dec_nv(atomic_dec_ptr_nv, void *, "%p");
atf_dec_nv(atomic_dec_64_nv, uint64_t, "0x%" PRIx64);