X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=datapath%2Fvport-internal_dev.c;h=5b3b2b3db7014448a2d677c6c73124996347dee7;hb=f97ffebfb8e66d7ce0ed78517dff322aa4825aea;hp=b7bcbce6abf2245c429b16b95908d36b3c33950d;hpb=c3729ee42dc25a8240cee6c0041b7db3e4070414;p=openvswitch

diff --git a/datapath/vport-internal_dev.c b/datapath/vport-internal_dev.c
index b7bcbce6..5b3b2b3d 100644
--- a/datapath/vport-internal_dev.c
+++ b/datapath/vport-internal_dev.c
@@ -6,6 +6,7 @@
  * kernel, by Linus Torvalds and others.
  */
 
+#include <linux/hardirq.h>
 #include <linux/if_vlan.h>
 #include <linux/kernel.h>
 #include <linux/netdevice.h>