diff --git a/drivers/irqchip/irq-pic32-evic.c b/drivers/irqchip/irq-pic32-evic.c index afb700265451..ecea7cb3ba84 100644 --- a/drivers/irqchip/irq-pic32-evic.c +++ b/drivers/irqchip/irq-pic32-evic.c @@ -15,8 +15,10 @@ #include #include +#ifdef CONFIG_MIPS #include #include +#endif #define REG_INTCON 0x0000 #define REG_INTSTAT 0x0020