18cef63d6SBoyan Karatotev /* 28cef63d6SBoyan Karatotev * Copyright (c) 2025, Arm Limited and Contributors. All rights reserved. 38cef63d6SBoyan Karatotev * 48cef63d6SBoyan Karatotev * SPDX-License-Identifier: BSD-3-Clause 58cef63d6SBoyan Karatotev */ 613b62814SBoyan Karatotev 713b62814SBoyan Karatotev #include <drivers/arm/gic.h> 813b62814SBoyan Karatotev #include <drivers/arm/gicv5.h> 913b62814SBoyan Karatotev gic_cpuif_enable(unsigned int cpu_idx)1013b62814SBoyan Karatotevvoid gic_cpuif_enable(unsigned int cpu_idx) 1113b62814SBoyan Karatotev { 1213b62814SBoyan Karatotev } 1313b62814SBoyan Karatotev gic_cpuif_disable(unsigned int cpu_idx)1413b62814SBoyan Karatotevvoid gic_cpuif_disable(unsigned int cpu_idx) 1513b62814SBoyan Karatotev { 1613b62814SBoyan Karatotev } 1713b62814SBoyan Karatotev gic_pcpu_init(unsigned int cpu_idx)1813b62814SBoyan Karatotevvoid gic_pcpu_init(unsigned int cpu_idx) 1913b62814SBoyan Karatotev { 20*82b228baSBoyan Karatotev gicv5_enable_ppis(); 2113b62814SBoyan Karatotev } 2213b62814SBoyan Karatotev gic_pcpu_off(unsigned int cpu_idx)2313b62814SBoyan Karatotevvoid gic_pcpu_off(unsigned int cpu_idx) 2413b62814SBoyan Karatotev { 2513b62814SBoyan Karatotev } 2613b62814SBoyan Karatotev 27