From 9f3a08ef2de99714d679aecf6b1ecb4e11869424 Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Tue, 22 Dec 2020 13:00:27 +0100
Subject: bsps: Use header file for GIC architecture support

This avoids a function call overhead in the interrupt dispatching.

Update #4202.
---
 bsps/shared/dev/irq/arm-gicv2.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'bsps/shared/dev/irq/arm-gicv2.c')

diff --git a/bsps/shared/dev/irq/arm-gicv2.c b/bsps/shared/dev/irq/arm-gicv2.c
index 74989a4de5..c29cae1d97 100644
--- a/bsps/shared/dev/irq/arm-gicv2.c
+++ b/bsps/shared/dev/irq/arm-gicv2.c
@@ -13,6 +13,7 @@
  */
 
 #include <dev/irq/arm-gic.h>
+#include <dev/irq/arm-gic-arch.h>
 
 #include <bsp/irq.h>
 #include <bsp/irq-generic.h>
-- 
cgit v1.2.3