diff --git a/src/drivers/gic/gic.c b/src/drivers/gic/gic.c
index 12cedfcf21..610c0b8e89 100644
--- a/src/drivers/gic/gic.c
+++ b/src/drivers/gic/gic.c
@@ -1,5 +1,6 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
+#include <arch/cpu.h>
 #include <device/mmio.h>
 #include <console/console.h>
 #include <gic.h>