X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=datapath%2Flinux%2FModules.mk;h=1f9973b47a3df19921d2a9e98017fc1c69e175c6;hb=da327b18bdbd36ad3dc465e07f6700795c684b14;hp=cb6801007974c0fcf629be054a840dd14ba40cdf;hpb=135faefe4af624489ac310810a5ffb5223606252;p=openvswitch

diff --git a/datapath/linux/Modules.mk b/datapath/linux/Modules.mk
index cb680100..1f9973b4 100644
--- a/datapath/linux/Modules.mk
+++ b/datapath/linux/Modules.mk
@@ -10,8 +10,6 @@ openvswitch_sources += \
 	linux/compat/skbuff-openvswitch.c \
 	linux/compat/time.c
 openvswitch_headers += \
-	linux/compat/include/asm-generic/bug.h \
-	linux/compat/include/linux/bottom_half.h \
 	linux/compat/include/linux/compiler.h \
 	linux/compat/include/linux/compiler-gcc.h \
 	linux/compat/include/linux/cpumask.h \
@@ -50,6 +48,7 @@ openvswitch_headers += \
 	linux/compat/include/linux/tcp.h \
 	linux/compat/include/linux/timer.h \
 	linux/compat/include/linux/types.h \
+	linux/compat/include/linux/u64_stats_sync.h \
 	linux/compat/include/linux/udp.h \
 	linux/compat/include/linux/workqueue.h \
 	linux/compat/include/net/checksum.h \