1 /*
2  * Copyright (c) 2020, MediaTek Inc. All rights reserved.
3  *
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 
13 void mt_gic_driver_init(void);
14 void mt_gic_init(void);
15 void mt_gic_set_pending(uint32_t irq);
16 void mt_gic_distif_save(void);
17 void mt_gic_distif_restore(void);
18 void mt_gic_rdistif_init(void);
19 void mt_gic_rdistif_save(void);
20 void mt_gic_rdistif_restore(void);
21 void mt_gic_rdistif_restore_all(void);
22 void gic_sgi_save_all(void);
23 void gic_sgi_restore_all(void);
24 uint32_t mt_irq_get_pending(uint32_t irq);
25 void mt_irq_set_pending(uint32_t irq);
26 
27 #endif /* MT_GIC_V3_H */
28