| 12345678910111213141516171819202122232425262728 |
- /*
- * Copyright (c) 2020-2022, MediaTek Inc. All rights reserved.
- *
- * SPDX-License-Identifier: BSD-3-Clause
- */
- #ifndef MT_GIC_V3_H
- #define MT_GIC_V3_H
- #include <drivers/arm/gicv3.h>
- #include <lib/mmio.h>
- void mt_gic_driver_init(void);
- void mt_gic_init(void);
- void mt_gic_set_pending(uint32_t irq);
- void mt_gic_distif_save(void);
- void mt_gic_distif_restore(void);
- void mt_gic_rdistif_init(void);
- void mt_gic_rdistif_save(void);
- void mt_gic_rdistif_restore(void);
- void mt_gic_rdistif_restore_all(void);
- void gic_sgi_save_all(void);
- void gic_sgi_restore_all(void);
- uint32_t mt_irq_get_pending(uint32_t irq);
- void mt_irq_set_pending(uint32_t irq);
- int mt_gic_one_init(void);
- #endif /* MT_GIC_V3_H */
|
