118334Speter/* 250397Sobrien * Copyright 2014, General Dynamics C4 Systems 318334Speter * 418334Speter * SPDX-License-Identifier: GPL-2.0-only 518334Speter */ 618334Speter 718334Speter#include <config.h> 818334Speter#include <types.h> 918334Speter#include <machine/io.h> 1018334Speter#include <kernel/vspace.h> 1118334Speter#include <arch/machine.h> 1218334Speter#include <arch/kernel/vspace.h> 1318334Speter#include <plat/machine.h> 1418334Speter#include <linker.h> 1518334Speter#include <plat/machine/devices_gen.h> 1618334Speter#include <plat/machine/hardware.h> 1718334Speter 1818334Speter#define INTCPS_SYSCONFIG_SOFTRESET BIT(1) 1918334Speter#define INTCPS_SYSSTATUS_RESETDONE BIT(0) 2018334Speter 2118334SpeterBOOT_CODE void initIRQController(void) 2218334Speter{ 2350397Sobrien intc->intcps_sysconfig = INTCPS_SYSCONFIG_SOFTRESET; 2418334Speter while (!(intc->intcps_sysstatus & INTCPS_SYSSTATUS_RESETDONE)) ; 2518334Speter} 2650397Sobrien 2718334SpeterBOOT_CODE void cpu_initLocalIRQController(void) {} 2850397Sobrien