diff options
| -rw-r--r-- | src/arch/arm64/cpu.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/arch/arm64/cpu.c b/src/arch/arm64/cpu.c index 66c8dde9be..0f9e874a3f 100644 --- a/src/arch/arm64/cpu.c +++ b/src/arch/arm64/cpu.c @@ -23,6 +23,7 @@ #include <arch/lib_helpers.h> #include <cpu/cpu.h> #include <console/console.h> +#include <gic.h> #include "cpu-internal.h" static struct cpu_info cpu_infos[CONFIG_MAX_CPUS]; @@ -90,6 +91,9 @@ static void init_this_cpu(void *arg) cpu_set_device_operations(dev); + /* Initialize the GIC. */ + gic_init(); + if (dev->ops != NULL && dev->ops->init != NULL) { dev->initialized = 1; printk(BIOS_DEBUG, "%s init\n", dev_path(dev)); |