1 /*
2  * Copyright 2014, General Dynamics C4 Systems
3  *
4  * SPDX-License-Identifier: GPL-2.0-only
5  */
6 
7 #include <config.h>
8 #include <types.h>
9 #include <machine/io.h>
10 #include <kernel/vspace.h>
11 #include <arch/machine.h>
12 #include <arch/kernel/vspace.h>
13 #include <plat/machine.h>
14 #include <linker.h>
15 #include <plat/machine/devices_gen.h>
16 #include <plat/machine/hardware.h>
17 
18 #define INTCPS_SYSCONFIG_SOFTRESET BIT(1)
19 #define INTCPS_SYSSTATUS_RESETDONE BIT(0)
20 
initIRQController(void)21 BOOT_CODE void initIRQController(void)
22 {
23     intc->intcps_sysconfig = INTCPS_SYSCONFIG_SOFTRESET;
24     while (!(intc->intcps_sysstatus & INTCPS_SYSSTATUS_RESETDONE)) ;
25 }
26 
cpu_initLocalIRQController(void)27 BOOT_CODE void cpu_initLocalIRQController(void) {}
28