From: Jan Kiszka <[email protected]> Breaks in non-debug builds otherwise, e.g. https://travis-ci.com/xenomai-ci/xenomai/jobs/212725223
Signed-off-by: Jan Kiszka <[email protected]> --- include/linux/kernel.h | 1 + 1 file changed, 1 insertion(+) diff --git a/include/linux/kernel.h b/include/linux/kernel.h index 50b1e0c878e0..edd37052e585 100644 --- a/include/linux/kernel.h +++ b/include/linux/kernel.h @@ -14,6 +14,7 @@ #include <linux/printk.h> #include <linux/build_bug.h> #include <asm/byteorder.h> +#include <asm-generic/ipipe.h> #include <uapi/linux/kernel.h> #define USHRT_MAX ((u16)(~0U)) -- 2.16.4
