X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fdpif-linux.c;h=2bf329f453732137c1d08c936ecae7c5e151ee4e;hb=e9011ac83235d37c8c05efee1a200f0879080187;hp=e6b46d4c6c50d6e0a9f2e3827ea2768ff4054a10;hpb=57aaff8a99d28067f0c9daf9594d54e9b3aaf95c;p=openvswitch

diff --git a/lib/dpif-linux.c b/lib/dpif-linux.c
index e6b46d4c..2bf329f4 100644
--- a/lib/dpif-linux.c
+++ b/lib/dpif-linux.c
@@ -419,7 +419,7 @@ dpif_linux_recv(struct dpif *dpif_, struct ofpbuf **bufp)
             return 0;
         } else {
             VLOG_WARN_RL(&error_rl, "%s: discarding message truncated "
-                         "from %zu bytes to %d",
+                         "from %"PRIu32" bytes to %d",
                          dpif_name(dpif_), msg->length, retval);
             error = ERANGE;
         }
@@ -569,7 +569,7 @@ make_openvswitch_device(int minor, char **fnp)
                          fn);
         } else if (s.st_rdev != dev) {
             VLOG_WARN_RL(&error_rl,
-                         "%s is device %u:%u instead of %u:%u, fixing",
+                         "%s is device %u:%u but should be %u:%u, fixing",
                          fn, major(s.st_rdev), minor(s.st_rdev),
                          major(dev), minor(dev));
         } else {