eventfd: print first argument as unsigned int

* eventfd.c (do_eventfd): Explicitly cast initial value to unsigned int.

diff --git a/eventfd.c b/eventfd.c
index ec606cb25294e2df88062bdba09f27680e522112..0e22c2b747d138a2e74c4412dc6efe76abcdceee 100644 (file)
--- a/eventfd.c
+++ b/eventfd.c
@@ -3,7 +3,7 @@
 static int
 do_eventfd(struct tcb *tcp, int flags_arg)
 {
-       tprintf("%lu", tcp->u_arg[0]);
+       tprintf("%u", (unsigned int) tcp->u_arg[0]);
        if (flags_arg >= 0) {
                tprints(", ");
                printflags(open_mode_flags, tcp->u_arg[flags_arg], "O_???");