X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=datapath%2Flinux%2Fcompat%2Finclude%2Flinux%2Fkernel.h;h=812f2132978e892eca744dea926cbe1bbb55e7a0;hb=ca435eb9112e873853d3cf201ee3f0c5c76bf89f;hp=bd6e9a49ddd68e90d413855bafeb35544cc104ef;hpb=6455100f38e9312346f4d58511595f695d813537;p=openvswitch

diff --git a/datapath/linux/compat/include/linux/kernel.h b/datapath/linux/compat/include/linux/kernel.h
index bd6e9a49..812f2132 100644
--- a/datapath/linux/compat/include/linux/kernel.h
+++ b/datapath/linux/compat/include/linux/kernel.h
@@ -7,6 +7,7 @@
 #endif
 
 #include <linux/version.h>
+#include <linux/bug.h>
 #if LINUX_VERSION_CODE < KERNEL_VERSION(2,6,28)
 #undef pr_emerg
 #define pr_emerg(fmt, ...) \