diff options
| -rw-r--r-- | src/drivers/gic/gic.c | 1 |
1 files changed, 1 insertions, 0 deletions
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> |