Print kernel_ureg_t and kernel_scno_t using dedicated format strings

[strace] / ipc_msgctl.c

diff --git a/ipc_msgctl.c b/ipc_msgctl.c
index a7352cb9a301f412d4dde0b53e3fa08fe3ee9910..9ad101f17249cd3a66f33f91db7890d02b148be6 100644 (file)
--- a/ipc_msgctl.c
+++ b/ipc_msgctl.c
@@ -51,7 +51,7 @@ typedef struct msqid64_ds msqid_ds_t;
 #include "xlat/msgctl_flags.h"
 
 static void
-print_msqid_ds(struct tcb *tcp, const long addr, int cmd)
+print_msqid_ds(struct tcb *const tcp, const kernel_ureg_t addr, int cmd)
 {
        /* TODO: We don't properly decode old compat ipc calls. */
        if (cmd & IPC_64)
@@ -101,7 +101,7 @@ SYS_FUNC(msgctl)
                PRINTCTL(msgctl_flags, tcp->u_arg[1], "MSG_???");
                tprints(", ");
        } else {
-               const long addr = tcp->u_arg[indirect_ipccall(tcp) ? 3 : 2];
+               const kernel_ureg_t addr = tcp->u_arg[indirect_ipccall(tcp) ? 3 : 2];
                print_msqid_ds(tcp, addr, tcp->u_arg[1]);
        }
        return 0;