1 /* 2 * Copyright (c) 2024-2026, Arm Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 #ifndef GIC_H 7 #define GIC_H 8 /* the function names conflict with some platform implementations. */ 9 #if USE_GIC_DRIVER 10 void gic_init(unsigned int cpu_idx); 11 void gic_cpuif_enable(unsigned int cpu_idx); 12 void gic_cpuif_disable(unsigned int cpu_idx); 13 void gic_pcpu_off(unsigned int cpu_idx); 14 /* 15 * Platform hook to perform any GIC-specific setup before the main core setup 16 * can take place. 17 */ 18 void plat_gic_pre_pcpu_init(unsigned int cpu_idx); 19 void gic_pcpu_init(unsigned int cpu_idx); 20 void gic_save(void); 21 void gic_resume(void); 22 #endif 23 #endif /* GIC_H */ 24