1 /* 2 * Copyright (c) 2024-2025, 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 void gic_pcpu_init(unsigned int cpu_idx); 15 void gic_save(void); 16 void gic_resume(void); 17 #endif 18 #endif /* GIC_H */ 19