From 37db70c027a473745e349342f5608239802d6e22 Mon Sep 17 00:00:00 2001
From: Eugene Syromyatnikov <evgsyr@gmail.com>
Date: Sat, 10 Mar 2018 06:18:04 +0100
Subject: [PATCH] ipc_defs.h: use print_xlat

* ipc_defs.h (PRINTCTL): Use print_xlat for printing IPC_64 named
constant.
---
 ipc_defs.h | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/ipc_defs.h b/ipc_defs.h
index 740fd9de..568a3ef8 100644
--- 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)
 
-- 
2.40.0