blob: bbf5bf9fe6ec4ebaee54998c966d1564365a3eb0 [file] [log] [blame]
Nishanth Menonf97ad372016-10-14 01:13:49 +00001/*
2 * Copyright (c) 2017-2018, ARM Limited and Contributors. All rights reserved.
3 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 */
6
7#ifndef __K3_GICV3_H__
8#define __K3_GICV3_H__
9
10void k3_gic_driver_init(uintptr_t gicd_base, uintptr_t gicr_base);
11void k3_gic_init(void);
12void k3_gic_cpuif_enable(void);
13void k3_gic_cpuif_disable(void);
14void k3_gic_pcpu_init(void);
15
16#endif /* __K3_GICV3_H__ */