print_fields: simplify UINT64_MAX printing

As we have print_xlat_u now.

* print_fields.h (PRINT_FIELD_U64): Use print_xlat_u for UINT64_MAX
printing.

diff --git a/print_fields.h b/print_fields.h
index ffcabf46b1881d9a3e67da8e60ae452cb54b17a3..936db022fa8a8e4c4164753c1126622084ee3d70 100644 (file)
--- a/print_fields.h
+++ b/print_fields.h
@@ -135,7 +135,7 @@
        do {                                                                            \
                STRACE_PRINTF("%s%s=", (prefix_), #field_);                             \
                if (zero_extend_signed_to_ull((where_).field_) == UINT64_MAX)           \
-                       print_xlat_ex(UINT64_MAX, "UINT64_MAX", XLAT_STYLE_FMT_U);      \
+                       print_xlat_u(UINT64_MAX);                                       \
                else                                                                    \
                        STRACE_PRINTF("%llu",                                           \
                                      zero_extend_signed_to_ull((where_).field_));      \