25 lines
588 B
C
25 lines
588 B
C
/*
|
|
* Copyright (c) 2020, 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);
|
|
#endif /* MT_GIC_V3_H */
|