X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=datapath%2Fvport-internal_dev.h;h=3454447c5f11649cf64d8ba71342337d735f9da1;hb=5442edb9e0afb6fdc4cd81e5d1ebd3e0d4e6accf;hp=91002cbdc4ae939e9ae6acb487676fb8dba2e676;hpb=a9a29d22d8f485bb90bb49ae9ddff8c3c1ab04f5;p=openvswitch

diff --git a/datapath/vport-internal_dev.h b/datapath/vport-internal_dev.h
index 91002cbd..3454447c 100644
--- a/datapath/vport-internal_dev.h
+++ b/datapath/vport-internal_dev.h
@@ -22,7 +22,7 @@
 #include "datapath.h"
 #include "vport.h"
 
-int is_internal_dev(const struct net_device *);
-struct vport *internal_dev_get_vport(struct net_device *);
+int ovs_is_internal_dev(const struct net_device *);
+struct vport *ovs_internal_dev_get_vport(struct net_device *);
 
 #endif /* vport-internal_dev.h */