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.
This commit is contained in:
Eugene Syromyatnikov 2018-08-19 20:13:02 +02:00 committed by Dmitry V. Levin
parent 25a4cafa90
commit 5d18b8cdef

View File

@ -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_)); \