1 /* 2 * Copyright (c) 2019, ARM Limited and Contributors. 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 <lib/mmio.h> 11 12 #define GIC_INT_MASK (MCUCFG_BASE + 0x5e8) 13 #define GIC500_ACTIVE_SEL_SHIFT 3 14 #define GIC500_ACTIVE_SEL_MASK (0x7 << GIC500_ACTIVE_SEL_SHIFT) 15 #define GIC500_ACTIVE_CPU_SHIFT 16 16 #define GIC500_ACTIVE_CPU_MASK (0xff << GIC500_ACTIVE_CPU_SHIFT) 17 18 void mt_gic_driver_init(void); 19 void mt_gic_init(void); 20 void mt_gic_set_pending(uint32_t irq); 21 uint32_t mt_gic_get_pending(uint32_t irq); 22 void mt_gic_cpuif_enable(void); 23 void mt_gic_cpuif_disable(void); 24 void mt_gic_pcpu_init(void); 25 void mt_gic_irq_save(void); 26 void mt_gic_irq_restore(void); 27 void mt_gic_sync_dcm_enable(void); 28 void mt_gic_sync_dcm_disable(void); 29 30 #endif /* MT_GIC_V3_H */ 31