blob: 98835f0f53d7a9d2ffaa637cf741fb4f4ed382e2 [file] [log] [blame]
developerf9b56842020-06-09 13:38:35 +08001/*
developerfe14b9f2022-09-05 11:18:04 +08002 * Copyright (c) 2020-2022, MediaTek Inc. All rights reserved.
developerf9b56842020-06-09 13:38:35 +08003 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 */
6
7#ifndef MT_GIC_V3_H
8#define MT_GIC_V3_H
9
10#include <drivers/arm/gicv3.h>
11#include <lib/mmio.h>
12
13void mt_gic_driver_init(void);
14void mt_gic_init(void);
15void mt_gic_set_pending(uint32_t irq);
16void mt_gic_distif_save(void);
17void mt_gic_distif_restore(void);
18void mt_gic_rdistif_init(void);
19void mt_gic_rdistif_save(void);
20void mt_gic_rdistif_restore(void);
21void mt_gic_rdistif_restore_all(void);
22void gic_sgi_save_all(void);
23void gic_sgi_restore_all(void);
developer28d70382019-12-19 15:58:20 +080024uint32_t mt_irq_get_pending(uint32_t irq);
25void mt_irq_set_pending(uint32_t irq);
26
developerf9b56842020-06-09 13:38:35 +080027#endif /* MT_GIC_V3_H */