X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fdpif-netdev.c;h=035ceaedd414b0a7dce3dbc0f834b6288b8a576c;hb=0aae40a52817ff2644dea8003b3a542228369f6a;hp=acc14a8b251b0c8244596ef92007c5449ca0bfbc;hpb=6767a2cce9a6412b3a41a927c4d56b9f0e1ec36f;p=openvswitch

diff --git a/lib/dpif-netdev.c b/lib/dpif-netdev.c
index acc14a8b..035ceaed 100644
--- a/lib/dpif-netdev.c
+++ b/lib/dpif-netdev.c
@@ -375,7 +375,7 @@ do_add_port(struct dp_netdev *dp, const char *devname, const char *type,
     port->internal = internal;
 
     netdev_get_mtu(netdev, &mtu);
-    if (mtu > max_mtu) {
+    if (mtu != INT_MAX && mtu > max_mtu) {
         max_mtu = mtu;
     }
 
@@ -1315,7 +1315,7 @@ dp_netdev_output_control(struct dp_netdev *dp, const struct ofpbuf *packet,
     upcall->key_len = key_len;
     upcall->userdata = arg;
 
-    q->upcalls[++q->head & QUEUE_MASK] = upcall;
+    q->upcalls[q->head++ & QUEUE_MASK] = upcall;
 
     return 0;
 }