ipc_defs.h: use print_xlat

* ipc_defs.h (PRINTCTL): Use print_xlat for printing IPC_64 named
constant.

diff --git a/ipc_defs.h b/ipc_defs.h
index 740fd9de01a7ca41c80bcf8c36864771d457a263..568a3ef8d3e443043681b8173425c92dd1421723 100644 (file)
--- a/ipc_defs.h
+++ b/ipc_defs.h
@@ -43,8 +43,10 @@
 
 #define PRINTCTL(flagset, arg, dflt)                           \
        do {                                                    \
-               if ((arg) & IPC_64)                             \
-                       tprints("IPC_64|");                     \
+               if ((arg) & IPC_64) {                           \
+                       print_xlat(IPC_64);                     \
+                       tprints("|");                           \
+               }                                               \
                printxval((flagset), (arg) & ~IPC_64, dflt);    \
        } while (0)