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 <plat/machine/hardware.h> 10 11BOOT_CODE void initIRQController(void) 12{ 13 intc->intcps_sysconfig = INTCPS_SYSCONFIG_SOFTRESET; 14 while (!(intc->intcps_sysstatus & INTCPS_SYSSTATUS_RESETDONE)) ; 15} 16 17BOOT_CODE void cpu_initLocalIRQController(void) {} 18