1*3374752fSBo-Chen Chen /* 2*3374752fSBo-Chen Chen * Copyright (c) 2020-2022, MediaTek Inc. All rights reserved. 3*3374752fSBo-Chen Chen * 4*3374752fSBo-Chen Chen * SPDX-License-Identifier: BSD-3-Clause 5*3374752fSBo-Chen Chen */ 6*3374752fSBo-Chen Chen 7*3374752fSBo-Chen Chen #ifndef MT_GIC_V3_H 8*3374752fSBo-Chen Chen #define MT_GIC_V3_H 9*3374752fSBo-Chen Chen 10*3374752fSBo-Chen Chen #include <drivers/arm/gicv3.h> 11*3374752fSBo-Chen Chen #include <lib/mmio.h> 12*3374752fSBo-Chen Chen 13*3374752fSBo-Chen Chen void mt_gic_driver_init(void); 14*3374752fSBo-Chen Chen void mt_gic_init(void); 15*3374752fSBo-Chen Chen void mt_gic_set_pending(uint32_t irq); 16*3374752fSBo-Chen Chen void mt_gic_distif_save(void); 17*3374752fSBo-Chen Chen void mt_gic_distif_restore(void); 18*3374752fSBo-Chen Chen void mt_gic_rdistif_init(void); 19*3374752fSBo-Chen Chen void mt_gic_rdistif_save(void); 20*3374752fSBo-Chen Chen void mt_gic_rdistif_restore(void); 21*3374752fSBo-Chen Chen void mt_gic_rdistif_restore_all(void); 22*3374752fSBo-Chen Chen void gic_sgi_save_all(void); 23*3374752fSBo-Chen Chen void gic_sgi_restore_all(void); 24*3374752fSBo-Chen Chen uint32_t mt_irq_get_pending(uint32_t irq); 25*3374752fSBo-Chen Chen void mt_irq_set_pending(uint32_t irq); 26*3374752fSBo-Chen Chen 27*3374752fSBo-Chen Chen #endif /* MT_GIC_V3_H */ 28