xref: /rk3399_ARM-atf/drivers/arm/gicv5/gicv5_iri.c (revision d154fe2bf0616f2e78965207c32b6e83ba12292e) 
1 /*
2  * Copyright (c) 2025, Arm Limited and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #include <cdefs.h>
8 #include <drivers/arm/gic.h>
9 #include <drivers/arm/gicv5.h>
10 
11 #if USE_GIC_DRIVER != 5
12 #error "This file should only be used with USE_GIC_DRIVER=5"
13 #endif
14 
gic_init(unsigned int cpu_idx)15 void __init gic_init(unsigned int cpu_idx)
16 {
17 	gicv5_driver_init();
18 }
19 
gic_save(void)20 void gic_save(void)
21 {
22 }
23 
gic_resume(void)24 void gic_resume(void)
25 {
26 }
27