1123992Ssobomax/* 2103026Ssobomax * Copyright 2014, General Dynamics C4 Systems 3103026Ssobomax * 4139823Simp * SPDX-License-Identifier: GPL-2.0-only 5103026Ssobomax */ 6103026Ssobomax 7103026Ssobomax#include <config.h> 8103026Ssobomax#include <types.h> 9103026Ssobomax#include <plat/machine/hardware.h> 10103026Ssobomax 11148613SbzBOOT_CODE void initIRQController(void) 12148613Sbz{ 13103026Ssobomax intc->intcps_sysconfig = INTCPS_SYSCONFIG_SOFTRESET; 14103026Ssobomax while (!(intc->intcps_sysstatus & INTCPS_SYSSTATUS_RESETDONE)) ; 15103026Ssobomax} 16103026Ssobomax 17103026SsobomaxBOOT_CODE void cpu_initLocalIRQController(void) {} 18103026Ssobomax