1 /* 2 * Copyright (c) 2025, 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 int32_t mt_irq_get_pending(uint32_t irq); 14 int32_t mt_irq_set_pending(uint32_t irq); 15 uint32_t gicr_get_sgi_pending(void); 16 17 void mt_gic_pcpu_init(void); 18 void mt_gic_distif_save(void); 19 void mt_gic_distif_restore(void); 20 void mt_gic_rdistif_save(void); 21 void mt_gic_rdistif_restore(void); 22 void mt_gic_redistif_on(void); 23 void mt_gic_redistif_off(void); 24 void mt_gic_redistif_init(void); 25 void mt_gic_cpuif_enable(void); 26 void mt_gic_cpuif_disable(void); 27 void mt_gic_driver_init(void); 28 void mt_gic_init(void); 29 30 #endif /* MT_GIC_V3_H */ 31