diff --git a/drivers/interrupt_controller/intc_gic.c b/drivers/interrupt_controller/intc_gic.c index 658f3df165d..d664288df56 100644 --- a/drivers/interrupt_controller/intc_gic.c +++ b/drivers/interrupt_controller/intc_gic.c @@ -10,6 +10,7 @@ * NOTE: This driver implements the GICv1 and GICv2 interfaces. */ +#include #include #include #include