13374752fSBo-Chen Chen /* 23374752fSBo-Chen Chen * Copyright (c) 2020-2022, MediaTek Inc. All rights reserved. 33374752fSBo-Chen Chen * 43374752fSBo-Chen Chen * SPDX-License-Identifier: BSD-3-Clause 53374752fSBo-Chen Chen */ 63374752fSBo-Chen Chen 73374752fSBo-Chen Chen #ifndef MT_GIC_V3_H 83374752fSBo-Chen Chen #define MT_GIC_V3_H 93374752fSBo-Chen Chen 103374752fSBo-Chen Chen #include <drivers/arm/gicv3.h> 113374752fSBo-Chen Chen #include <lib/mmio.h> 123374752fSBo-Chen Chen 133374752fSBo-Chen Chen void mt_gic_driver_init(void); 143374752fSBo-Chen Chen void mt_gic_init(void); 153374752fSBo-Chen Chen void mt_gic_set_pending(uint32_t irq); 163374752fSBo-Chen Chen void mt_gic_distif_save(void); 173374752fSBo-Chen Chen void mt_gic_distif_restore(void); 183374752fSBo-Chen Chen void mt_gic_rdistif_init(void); 193374752fSBo-Chen Chen void mt_gic_rdistif_save(void); 203374752fSBo-Chen Chen void mt_gic_rdistif_restore(void); 213374752fSBo-Chen Chen void mt_gic_rdistif_restore_all(void); 223374752fSBo-Chen Chen void gic_sgi_save_all(void); 233374752fSBo-Chen Chen void gic_sgi_restore_all(void); 243374752fSBo-Chen Chen uint32_t mt_irq_get_pending(uint32_t irq); 253374752fSBo-Chen Chen void mt_irq_set_pending(uint32_t irq); 26*cfb0516fSRex-BC Chen int mt_gic_one_init(void); 273374752fSBo-Chen Chen 283374752fSBo-Chen Chen #endif /* MT_GIC_V3_H */ 29