ipc_defs.h: use print_xlat

* ipc_defs.h (PRINTCTL): Use print_xlat for printing IPC_64 named constant.
2018-03-10 06:18:04 +01:00 · 2018-03-10 06:18:04 +01:00 · 37db70c027
commit 37db70c027
parent 83c129f51c
1 changed files with 4 additions and 2 deletions
--- 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)