diff options
| -rw-r--r-- | src/drivers/ipmi/ocp/ipmi_ocp.c | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/drivers/ipmi/ocp/ipmi_ocp.c b/src/drivers/ipmi/ocp/ipmi_ocp.c index f96ce24cdd..07628ee1ff 100644 --- a/src/drivers/ipmi/ocp/ipmi_ocp.c +++ b/src/drivers/ipmi/ocp/ipmi_ocp.c @@ -7,14 +7,15 @@ * end */ +#include <arch/cpu.h> #include <console/console.h> #include <device/device.h> #include <device/pnp.h> -#include <string.h> +#include <drivers/ipmi/ipmi_kcs.h> #include <intelblocks/cpulib.h> -#include <arch/cpu.h> -#include "chip.h" -#include "drivers/ipmi/ipmi_kcs.h" +#include <string.h> +#include <types.h> + #include "ipmi_ocp.h" static int ipmi_set_processor_information_param1(struct device *dev) |