diff options
| -rw-r--r-- | drivers/char/ipmi/ipmi_si_intf.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/drivers/char/ipmi/ipmi_si_intf.c b/drivers/char/ipmi/ipmi_si_intf.c index 8cc4607cc86c..f27c04e18aaa 100644 --- a/drivers/char/ipmi/ipmi_si_intf.c +++ b/drivers/char/ipmi/ipmi_si_intf.c | |||
| @@ -69,6 +69,8 @@ | |||
| 69 | #ifdef CONFIG_PPC_OF | 69 | #ifdef CONFIG_PPC_OF |
| 70 | #include <linux/of_device.h> | 70 | #include <linux/of_device.h> |
| 71 | #include <linux/of_platform.h> | 71 | #include <linux/of_platform.h> |
| 72 | #include <linux/of_address.h> | ||
| 73 | #include <linux/of_irq.h> | ||
| 72 | #endif | 74 | #endif |
| 73 | 75 | ||
| 74 | #define PFX "ipmi_si: " | 76 | #define PFX "ipmi_si: " |