diff --git a/include/linux/ipmi.h b/include/linux/ipmi.h index 846b6989977681cdc7eb9f69b71f9e5ecd8937d0..dd30adedd07d8456933f50f9b35903ea48282df5 100644 --- a/include/linux/ipmi.h +++ b/include/linux/ipmi.h @@ -35,6 +35,7 @@ #define __LINUX_IPMI_H #include +#include /* * This file describes an interface to an IPMI driver. You have to