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