1 /* 2 * Copyright (c) 2025, Arm Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #include <drivers/arm/gic.h> 8 #include <drivers/arm/gicv5.h> 9 10 void gic_cpuif_enable(unsigned int cpu_idx) 11 { 12 } 13 14 void gic_cpuif_disable(unsigned int cpu_idx) 15 { 16 } 17 18 void gic_pcpu_init(unsigned int cpu_idx) 19 { 20 gicv5_enable_ppis(); 21 } 22 23 void gic_pcpu_off(unsigned int cpu_idx) 24 { 25 } 26 27