X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fdpif.h;h=7d0881fab3127640fc9fcc0b275c0daa636a7381;hb=6e5877ecdacf66905afd2481d0025d3fd7d9132f;hp=db08d7853c477a9428306b2d38906cf1eadcf63d;hpb=9b56fe137d3c734edcfa00631a960920f04c866a;p=openvswitch

diff --git a/lib/dpif.h b/lib/dpif.h
index db08d785..7d0881fa 100644
--- a/lib/dpif.h
+++ b/lib/dpif.h
@@ -57,6 +57,7 @@ void dpif_wait(struct dpif *);
 
 const char *dpif_name(const struct dpif *);
 const char *dpif_base_name(const struct dpif *);
+const char *dpif_type(const struct dpif *);
 
 int dpif_delete(struct dpif *);
 
@@ -85,6 +86,7 @@ struct dpif_port {
 };
 void dpif_port_clone(struct dpif_port *, const struct dpif_port *);
 void dpif_port_destroy(struct dpif_port *);
+bool dpif_port_exists(const struct dpif *dpif, const char *devname);
 int dpif_port_query_by_number(const struct dpif *, uint32_t port_no,
                               struct dpif_port *);
 int dpif_port_query_by_name(const struct dpif *, const char *devname,