# endif
struct tcb;
-extern void print_struct_msghdr(struct tcb *, const struct msghdr *, const int *, unsigned long);
-#endif /* #ifndef STRACE_MSGHDR_H */
+extern void
+print_struct_msghdr(struct tcb *, const struct msghdr *,
+ const int *p_user_msg_namelen, kernel_ulong_t data_size);
+
+#endif /* !STRACE_MSGHDR_H */