+static void
+print_llu_from_low_high_val(struct tcb *tcp, int arg)
+{
+#if SIZEOF_LONG == SIZEOF_LONG_LONG
+ tprintf("%lu", (unsigned long) tcp->u_arg[arg]);
+#elif defined(LINUX_MIPSN32)
+ tprintf("%llu", (unsigned long long) tcp->ext_arg[arg]);
+#else
+# ifdef X32
+ if (current_personality == 0)
+ tprintf("%llu", (unsigned long long) tcp->ext_arg[arg]);
+ else
+# endif
+ tprintf("%llu",
+ ((unsigned long long) (unsigned long) tcp->u_arg[arg + 1] << sizeof(long) * 8)
+ | (unsigned long long) (unsigned long) tcp->u_arg[arg]);
+#endif
+}
+