X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=ofproto%2Fofproto.c;h=f44d8a2c00291c2f68e14e82070ec64e3057e1b7;hb=898bf89d807e140b7cf1966d2efc9c6410f71c9d;hp=ab9a835e6161eafe242e5760bd9bff568023674d;hpb=3c8552c1db717d2018adbc5e17cbf2583f0a6639;p=openvswitch

diff --git a/ofproto/ofproto.c b/ofproto/ofproto.c
index ab9a835e..f44d8a2c 100644
--- a/ofproto/ofproto.c
+++ b/ofproto/ofproto.c
@@ -1372,6 +1372,8 @@ reinit_ports(struct ofproto *p)
     size_t n_odp_ports;
     size_t i;
 
+    COVERAGE_INC(ofproto_reinit_ports);
+
     svec_init(&devnames);
     HMAP_FOR_EACH (ofport, hmap_node, &p->ports) {
         svec_add (&devnames, (char *) ofport->opp.name);