X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=datapath%2Fvport-internal_dev.c;h=84b90b57191a508b33c09d01704a966705101ed8;hb=cb49ee4fd15e1b24aaae4a2d25f3dd538734b4df;hp=514d00cb3b9d488614103eac7386e4ca27bffe0a;hpb=3976f6d57b1134c5c3ed054c9da4aa6786fbf5bf;p=openvswitch

diff --git a/datapath/vport-internal_dev.c b/datapath/vport-internal_dev.c
index 514d00cb..84b90b57 100644
--- a/datapath/vport-internal_dev.c
+++ b/datapath/vport-internal_dev.c
@@ -329,6 +329,11 @@ int is_internal_vport(const struct vport *vport)
 
 struct vport *internal_dev_get_vport(struct net_device *netdev)
 {
-	struct internal_dev *internal_dev = internal_dev_priv(netdev);
+	struct internal_dev *internal_dev;
+
+	if (!is_internal_dev(netdev))
+		return NULL;
+	
+	internal_dev = internal_dev_priv(netdev);
 	return rcu_dereference(internal_dev->attached_vport);
 }